Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  fears

Sigma KEE - fears
fears

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7388-7391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7387-7387 fears is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7386-7386 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 7393-7396

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19316-19319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19289-19293


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