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 18268-18269
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. pictureList.kif 2974-2974
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3154-3154
No TPTP formula. May not be expressible in strict first order. Merge.kif 18267-18267 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 18279-18279 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. Merge.kif 18264-18264 Living are all the attributes of animacy attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34798-34798 Living are all the attributes of animacy attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34797-34797 Living are all the attributes of animacy attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34796-34796 Living are all the attributes of animacy attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18486-18493
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12578-12593

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18495-18501
No TPTP formula. May not be expressible in strict first order. Merge.kif 12455-12461
No TPTP formula. May not be expressible in strict first order. Merge.kif 18271-18275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13168-13175
No TPTP formula. May not be expressible in strict first order. Merge.kif 1628-1630
No TPTP formula. May not be expressible in strict first order. Merge.kif 18457-18463
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 6589-6596
No TPTP formula. May not be expressible in strict first order. Merge.kif 18531-18535


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