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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2578-2580
No TPTP formula. May not be expressible in strict first order. Merge.kif 2575-2575 Intentional relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2576-2576 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 20907-20907 cohabitant is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21315-21315 domestic partner is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20872-20872 friend is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2627-2627 in scope of interest is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2590-2590 prefers is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20799-20799 service provider is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20810-20810 service recipient is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2613-2613 Object attitude is a subclass of intentional relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2599-2599 Propositional attitude is a subclass of intentional relation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30379-30379
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30378-30378
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30377-30377

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2582-2587


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