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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimacyAttribute

Sigma KEE - AnimacyAttribute
AnimacyAttribute(animacy attribute)breathless, cold, deathlike, deathly, inanimate, pulseless

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4013-4014
No TPTP formula. May not be expressible in strict first order. Merge.kif 18079-18080
No TPTP formula. May not be expressible in strict first order. Merge.kif 18078-18078 Living are all the attributes of animacy attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18077-18077 Animacy attribute is a subclass of biological attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18091-18091 Dead is an instance of animacy attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18081-18081 Living is an instance of animacy attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1258-1258
No TPTP formula. May not be expressible in strict first order. english_format.kif 1737-1737
No TPTP formula. May not be expressible in strict first order. french_format.kif 936-936
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 472-472
No TPTP formula. May not be expressible in strict first order. terms-it.txt 475-475
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2620-2620
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 888-888
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 511-511
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 957-957
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 476-476

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18097-18102


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