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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ObjectAttitude
ObjectAttitude(object attitude)Graecophile, Graecophilic, misanthropic, misanthropical, misogynistic, misogynous, philhellene, philhellenic

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2710-2710 Object attitude is disjoint from propositional attitude
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1927-1928
No TPTP formula. May not be expressible in strict first order. Merge.kif 2712-2713
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 554-555
No TPTP formula. May not be expressible in strict first order. Merge.kif 2709-2709 Object attitude is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2708-2708 Object attitude is a subclass of intentional relation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7420-7420 dislikes is an instance of object attitude
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2449-2449 enemy is an instance of object attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2748-2748 needs is an instance of object attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2761-2761 wants is an instance of object attitude
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 909-909
No TPTP formula. May not be expressible in strict first order. english_format.kif 1025-1025
No TPTP formula. May not be expressible in strict first order. french_format.kif 585-585
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 115-115
No TPTP formula. May not be expressible in strict first order. terms-it.txt 118-118
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2270-2270
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 537-537
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 152-152
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 606-606
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 119-119

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2715-2719


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