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 15867-15869
No TPTP formula. May not be expressible in strict first order. Merge.kif 15866-15866 单身家庭住所永久居留权subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6964-6964 公寓楼 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6979-6979 公寓大楼 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7007-7007 宿舍 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6894-6894 公寓单位单身家庭住所subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6944-6944 共管公寓单位单身家庭住所subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15816-15816 单身家庭住所subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53170-53170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53169-53169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53168-53168

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6948-6954
No TPTP formula. May not be expressible in strict first order. Merge.kif 15871-15883


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