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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntentionalRelation

 Sigma KEE - IntentionalRelation
IntentionalRelation(intentional relation)Eurocentrism, Islamophobia, alert, alive, angle, awake, awareness, bent, bias, broad-mindedness, cognisance, cognizance, connive_at, conscious, consciousness, cult_of_personality, defensive, defensive_attitude, denominationalism, devices, disapproval, disfavor, disfavour, dislike, disrespect, doghouse, dreamed, envisioned, esteem, estimate, estimation, experimenter_bias, fabricated, fancied, favor, favoritism, favour, favouritism, fictional, fictitious, hardball, incognizant, intentionality, intolerance, knowingness, leaning, localism, oblivious, orientation, paradigm...

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 Intentional relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2671-2671 Intentional relation is a subclass of relation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23030-23030 cohabitant is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23414-23414 domestic partner is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22995-22995 friend is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2722-2722 in scope of interest is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2685-2685 prefers is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22928-22928 service provider is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22939-22939 service recipient is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2708-2708 Object attitude is a subclass of intentional relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2694-2694 Propositional attitude is a subclass of intentional relation
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 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