Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

formule (Formula)

A syntactically well-formed formula in the SUO-KIF knowledge representation language.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  objekt  
is subclass of
  spojitý objekt  
is subclass of
  objekt nesoucí informaci  
is subclass of
  lingvistický výraz  
is subclass of
[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  objekt  
is subclass of
  spojitý objekt  
is subclass of
  složený objekt  
is subclass of
  artefakt  
is subclass of
is subclass of
  text  
is subclass of
  věta  
is subclass of
  formule  

Constrains relations

<=>  =>  kappa fn  probability fn  and  believes  conditional probability  considers  decreases likelihood  desires  entails  exists  forall  has purpose  has purpose for agent  holds during  increases likelihood  independent probability  knows  modal attribute  not  or  prefers 

Axiomy (6)

Jestliže formula1 je instancí třídy formule a formula2 je instancí třídy formule, potom formula1 increases likelihood of formula2 nebo formula1 decreases likelihood of formula2 nebo probability of formula1 and formula2 je independent. 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))
Jestliže investigate je instancí třídy vyšetřování a prop je účastníkem investigate, potom prop je instancí třídy formule. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (patient ?INVESTIGATE ?PROP))
      (instance ?PROP Formula))
Jestliže state je instancí třídy tvrzení a agent je původcem state a formula je účastníkem state a formula je instancí třídy formule, potom agent believes formula doba existence state. 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))
Jestliže request je instancí třídy požadavek a agent je původcem request a formula je účastníkem request a formula je instancí třídy formule, potom agent desires formula. 
(=>
      (and
            (instance ?REQUEST Requesting)
            (agent ?REQUEST ?AGENT)
            (patient ?REQUEST ?FORMULA)
            (instance ?FORMULA Formula))
      (desires ?AGENT ?FORMULA))
Jestliže question je instancí třídy dotaz a agent je původcem question a formula je účastníkem question a formula je instancí třídy formule, potom agent doesn't know formula doba existence question. 
(=>
      (and
            (instance ?QUESTION Questioning)
            (agent ?QUESTION ?AGENT)
            (patient ?QUESTION ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?QUESTION)
            (not
                  (knows ?AGENT ?FORMULA))))
Jestliže commit je instancí třídy závazek a formula je účastníkem commit a formula je instancí třídy formule, potom modal attribute(formula,promise) platí. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))