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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalRelation
IntentionalRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1920-1921
No TPTP formula. May not be expressible in strict first order. Merge.kif 2673-2675
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 547-548
No TPTP formula. May not be expressible in strict first order. Merge.kif 2670-2670 IntentionalRelation e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2671-2671 IntentionalRelation e' uma sub-classe de Relacao

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23030-23030 cohabitant e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23414-23414 domesticPartner e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22995-22995 friend e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2722-2722 inScopeOfInterest e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2685-2685 prefers e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22928-22928 serviceProvider e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22939-22939 serviceRecipient e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2708-2708 Atitude em relacao a um Objeto e' uma sub-classe de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2694-2694 Atitude pProposicional e' uma sub-classe de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30385-30385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30384-30384
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30383-30383

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2677-2682


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



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