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 14410-14411
No TPTP formula. May not be expressible in strict first order. Merge.kif 14408-14408 域 家, 1 and Human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14409-14409 域 家, 2 and 永久居留權
No TPTP formula. May not be expressible in strict first order. Merge.kif 14407-14407 例 家 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14406-14406 子關係 家 and 棲息

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14415-14415 不相交的關係 停留 and 家
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. french_format.kif 484-484
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. portuguese_format.kif 436-436
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 506-506
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 28424-28424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28423-28423

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6870-6874
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6920-6926

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18058-18066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25025-25032
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16782-16788
No TPTP formula. May not be expressible in strict first order. Government.kif 1542-1548
No TPTP formula. May not be expressible in strict first order. Merge.kif 15816-15819
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 16298-16303
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8032-8034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6670-6677


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