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)

 entity

physical

object

self connected object

content bearing object

linguistic expression
 entity

physical

object

self connected object

corpuscular object

artifact

text

sentence

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)

If formula1 is an instance of formula and formula2 is an instance of formula, then formula1 increases likelihood of formula2 or formula1 decreases likelihood of formula2 or probability of formula1 and formula2 is independent.
```(=>
(and
(instance ?FORMULA1 Formula)
(instance ?FORMULA2 Formula))
(or
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(independentProbability ?FORMULA1 ?FORMULA2)))```

If investigate is an instance of investigating and prop is a patient of investigate, then prop is an instance of formula.
```(=>
(and
(instance ?INVESTIGATE Investigating)
(patient ?INVESTIGATE ?PROP))
(instance ?PROP Formula))```

If state is an instance of stating and state is an agent of agent and formula is a patient of state and formula is an instance of formula, then agent believes formula the time of existence of state.
```(=>
(and
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(patient ?STATE ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT ?FORMULA)))```

If request is an instance of requesting and request is an agent of agent and formula is a patient of request and formula is an instance of formula, then agent desires formula.
```(=>
(and
(instance ?REQUEST Requesting)
(agent ?REQUEST ?AGENT)
(patient ?REQUEST ?FORMULA)
(instance ?FORMULA Formula))
(desires ?AGENT ?FORMULA))```

If question is an instance of questioning and question is an agent of agent and formula is a patient of question and formula is an instance of formula, then agent doesn't know formula the time of existence of question.
```(=>
(and
(instance ?QUESTION Questioning)
(agent ?QUESTION ?AGENT)
(patient ?QUESTION ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?QUESTION)
(not
(knows ?AGENT ?FORMULA))))```

If commit is an instance of committing and formula is a patient of commit and formula is an instance of formula, then the statement formula has the model force of promise.
```(=>
(and
(instance ?COMMIT Committing)
(patient ?COMMIT ?FORMULA)
(instance ?FORMULA Formula))
(modalAttribute ?FORMULA Promise))```