TreeView Knowledge Base Browser - fears

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - fears

fears

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7387-7390
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7386-7386	fears is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7385-7385	fears is a subrelation of expects

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3430-3430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3429-3429
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3428-3428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23428-23428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23427-23427
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23426-23426

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7392-7395

If a cognitive agent fears a formula,
then the cognitive agent doesn't desire the formula

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval, then there exist another entity and another time interval such that the other time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19315-19318	If anxiety is an attribute of a cognitive agent, then there exists a formula such that the cognitive agent fears the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19288-19292	If happiness is an attribute of a cognitive agent, then there doesn't exist a formula such that the cognitive agent fears the formula

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners