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

Formal Language: 



KB Term:  Term intersection
English Word: 

  home

Sigma KEE - home
home

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3375-3376
No TPTP formula. May not be expressible in strict first order. Merge.kif 13785-13786
No TPTP formula. May not be expressible in strict first order. Merge.kif 13783-13783 The number 1 argument of home is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 13784-13784 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 13782-13782 home is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13781-13781 home is a subrelation of inhabits

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13790-13790 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 817-817
No TPTP formula. May not be expressible in strict first order. english_format.kif 818-818
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 807-807
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28415-28415
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28414-28414

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6505-6509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6555-6561

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17424-17432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24347-24354
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16176-16182
No TPTP formula. May not be expressible in strict first order. Government.kif 1528-1534
No TPTP formula. May not be expressible in strict first order. Merge.kif 15177-15180
No TPTP formula. May not be expressible in strict first order. Merge.kif 15208-15220
No TPTP formula. May not be expressible in strict first order. Merge.kif 15654-15659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7676-7678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6305-6312


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