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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClothingSuit

 Sigma KEE - ClothingSuit
ClothingSuit(服裝套裝)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5303-5304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5302-5302 子類 服裝套裝 and Collection

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 150-150 子類 ihram服裝 and 服裝套裝
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15282-15282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15281-15281
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15280-15280

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5306-5314


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