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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HoleHostFn

Sigma KEE - Residence
Residence(住宅)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15823-15823 住宅 分拆成不相交的 永久居留权暂住
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3593-3594
No TPTP formula. May not be expressible in strict first order. Merge.kif 15824-15825
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10231-10231
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11759-11759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11760-11760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24654-24654 住宅PostalPlacesubclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15822-15822 住宅固定人工制品subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6774-6774 移动住宅 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 15836-15836 永久居留权住宅subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15850-15850 住宅楼住宅subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15845-15845 暂住住宅subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49624-49624
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49623-49623
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49622-49622

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6932-6932 承租人 的 2 数量 是 住宅instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25092-25101
No TPTP formula. May not be expressible in strict first order. Merge.kif 15827-15834

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7693-7693 医疗诊所大楼住宅 的补集 的 subclass


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