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

Formal Language: 



KB Term:  Term intersection
English Word: 

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. MilitaryProcesses.kif 2484-2484 allied est une instance de attitude d'objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7447-7447 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 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