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 15843-15845
No TPTP formula. May not be expressible in strict first order. Merge.kif 15842-15842 子類 單身家庭住所 and 永久居留權

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6936-6936 不相交的 公寓樓 and 單身家庭住所
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6951-6951 不相交的 公寓大樓 and 單身家庭住所
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6979-6979 不相交的 宿舍 and 單身家庭住所
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6866-6866 子類 公寓單位 and 單身家庭住所
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6916-6916 子類 共管公寓單位 and 單身家庭住所
No TPTP formula. May not be expressible in strict first order. Merge.kif 15792-15792 子類 屋 and 單身家庭住所
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 6920-6926
No TPTP formula. May not be expressible in strict first order. Merge.kif 15847-15859


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