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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SingleFamilyResidence

 Sigma KEE - SingleFamilyResidence
SingleFamilyResidence(单身家庭住所)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3602-3604
No TPTP formula. May not be expressible in strict first order. Merge.kif 15821-15823
No TPTP formula. May not be expressible in strict first order. Merge.kif 15820-15820 单身家庭住所 是 永久居留权 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6937-6937 公寓楼 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6952-6952 公寓大楼 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6980-6980 宿舍 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6867-6867 公寓单位 是 单身家庭住所 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6917-6917 共管公寓单位 是 单身家庭住所 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15770-15770 屋 是 单身家庭住所 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53168-53168
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53167-53167
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53166-53166

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6921-6927
No TPTP formula. May not be expressible in strict first order. Merge.kif 15825-15837


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