Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Formula (Formula)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Oggetto  
is subclass of
  OggettoIntegro  
is subclass of
  OggettoSemiotico  
is subclass of
  EspressioneLinguistica  
is subclass of
[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Oggetto  
is subclass of
  OggettoIntegro  
is subclass of
  OggettoCorpuscolare  
is subclass of
  Manufatto  
is subclass of
is subclass of
  Testo  
is subclass of
  Frase  
is subclass of
  Formula  

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 

Axioms (6)

Se formula1 é un' istanza di Formula e formula2 é un' istanza di Formula, allora formula1 aumentas la verosimiglianza di formula2 o formula1 decreases likelihood of formula2 o probabilitá di formula1 e formula2 é indipendente. 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))
Se investigate é un' istanza di Investigare e prop é un paziente di investigate, allora prop é un' istanza di Formula. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (patient ?INVESTIGATE ?PROP))
      (instance ?PROP Formula))
Se state é un' istanza di Affermare e state é un agente di agent e formula é un paziente di state e formula é un' istanza di Formula, allora "agent believes formula" vales durante "il tempo di esistenza di state". 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))
Se request é un' istanza di Richiedere e request é un agente di agent e formula é un paziente di request e formula é un' istanza di Formula, allora agent desideras formula. 
(=>
      (and
            (instance ?REQUEST Requesting)
            (agent ?REQUEST ?AGENT)
            (patient ?REQUEST ?FORMULA)
            (instance ?FORMULA Formula))
      (desires ?AGENT ?FORMULA))
Se question é un' istanza di Domandare e question é un agente di agent e formula é un paziente di question e formula é un' istanza di Formula, allora "agent non conosce formula" vales durante "il tempo di esistenza di question". 
(=>
      (and
            (instance ?QUESTION Questioning)
            (agent ?QUESTION ?AGENT)
            (patient ?QUESTION ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?QUESTION)
            (not
                  (knows ?AGENT ?FORMULA))))
Se commit é un' istanza di Impegnarsi e formula é un paziente di commit e formula é un' istanza di Formula, allora l'affermazione formula ha il modello di forza di promise. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))