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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Living
Living(living)
abidance, abide, accommodate, afterlife, alive, aliveness, animateness, animation, be, bide, bivouac, bivouacking, board, breathe, camp, camp_out, camping, cohabit, cohabitation, concubinage, consist, domicile, domiciliate, dwell, encamp, encampment, endurance, eternal_life, exist, habitation, hereafter, immortality, indwell, infest, inhabit, inhabitancy, inhabitation, kick_about, kick_around, kingdom_come, knock_about, lie, lie_in, life, life_eternal, live, live_together, liveness, living, lodge...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4015-4015
No TPTP formula. May not be expressible in strict first order. Merge.kif 18082-18083
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3156-3156
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2975-2975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3155-3155
No TPTP formula. May not be expressible in strict first order. Merge.kif 18081-18081 Living is an instance of animacy attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18093-18093 Dead is the opposite of living
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. domainEnglishFormat.kif 34787-34787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34786-34786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34785-34785

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18299-18306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11247-11262

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18308-18314
No TPTP formula. May not be expressible in strict first order. Merge.kif 12305-12311
No TPTP formula. May not be expressible in strict first order. Merge.kif 18085-18089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11837-11844
No TPTP formula. May not be expressible in strict first order. Merge.kif 1618-1620
No TPTP formula. May not be expressible in strict first order. Merge.kif 18270-18276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 96-99
No TPTP formula. May not be expressible in strict first order. Geography.kif 6286-6293
No TPTP formula. May not be expressible in strict first order. Merge.kif 18344-18348


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