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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - home
home

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14431-14432
No TPTP formula. May not be expressible in strict first order. Merge.kif 14429-14430
No TPTP formula. May not be expressible in strict first order. Merge.kif 14427-14427 The number 1 argument of home is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14428-14428 The number 2 argument of home is an instance of permanent residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 14426-14426 home is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14425-14425 home is a subrelation of inhabits

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14436-14436 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 806-806
No TPTP formula. May not be expressible in strict first order. english_format.kif 495-495
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 807-807 "家" is the printable form of home in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5155-5155 "home" is the printable form of home in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6543-6547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6593-6599

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15760-15768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22956-22963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14380-14386
No TPTP formula. May not be expressible in strict first order. Government.kif 1502-1508
No TPTP formula. May not be expressible in strict first order. Merge.kif 15939-15942
No TPTP formula. May not be expressible in strict first order. Merge.kif 15978-15990
No TPTP formula. May not be expressible in strict first order. Merge.kif 16489-16494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7774-7776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6305-6312


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners