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 14294-14295
No TPTP formula. May not be expressible in strict first order. Merge.kif 14292-14293
No TPTP formula. May not be expressible in strict first order. Merge.kif 14290-14290 The number 1 argument of home is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14291-14291 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 14289-14289 home is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14288-14288 home is a subrelation of inhabits

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14299-14299 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. french_format.kif 484-484
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 436-436
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 6539-6543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6589-6595

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15429-15437
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22564-22571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14120-14126
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 15802-15805
No TPTP formula. May not be expressible in strict first order. Merge.kif 15847-15859
No TPTP formula. May not be expressible in strict first order. Merge.kif 15813-15817
No TPTP formula. May not be expressible in strict first order. Merge.kif 16358-16363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7770-7772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6301-6308


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