TreeView Knowledge Base Browser - ObjectAttitude

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 7447-7447	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

If an entity is an instance of object attitude and the entity another entity and a third entity,
then the third entity is an instance of physical

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