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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 SingleFamilyResidence e' uma sub-classe de PermanentResidence

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6964-6964 ApartmentBuilding e' disjunto de SingleFamilyResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6979-6979 CondominiumBuilding e' disjunto de SingleFamilyResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7007-7007 Dormitory e' disjunto de SingleFamilyResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6894-6894 ApartmentUnit e' uma sub-classe de SingleFamilyResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6944-6944 CondominiumUnit e' uma sub-classe de SingleFamilyResidence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15816-15816 House e' uma sub-classe de SingleFamilyResidence
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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