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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ObjectAttitude

 Sigma KEE - ObjectAttitude
ObjectAttitude(attitude d'objet)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2710-2710 Attitude d'objet est disjoint de attitude propositionnelle
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 Attitude d'objet est une sous-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2708-2708 Attitude d'objet est une sous-classe de IntentionalRelation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7420-7420 dislikes est une instance de attitude d'objet
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2449-2449 enemy est une instance de attitude d'objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 2748-2748 needs est une instance de attitude d'objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 2761-2761 wants est une instance de attitude d'objet
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 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