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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Clothing
Clothing(Roupa)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15973-15973 Roupa e' disjunto de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3614-3615
No TPTP formula. May not be expressible in strict first order. Merge.kif 15974-15975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 351-351
No TPTP formula. May not be expressible in strict first order. Merge.kif 15972-15972 Roupa e' uma sub-classe de WearableItem

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5047-5047 Apron e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5062-5062 Belt e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5090-5090 Cloak e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5101-5101 Collar e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5286-5286 Dress e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5124-5124 Glove e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5139-5139 Hat e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5094-5094 Mask e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 415-415 Oqal e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5033-5033 OutdoorClothing e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5314-5314 Pajamas e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Cars.kif 3539-3539 SafetyVest e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5251-5251 Shirt e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5173-5173 Shoe e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5262-5262 Sleeve e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5236-5236 Sock e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5076-5076 TieClothing e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5158-5158 Trousers e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26718-26718 UniformClothing e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5465-5465 Veil e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1055-1055
No TPTP formula. May not be expressible in strict first order. english_format.kif 1321-1321
No TPTP formula. May not be expressible in strict first order. french_format.kif 733-733
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 264-264

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15986-15993
No TPTP formula. May not be expressible in strict first order. Merge.kif 15977-15984

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30202-30212 Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30169-30177 Naked e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa Entidade usa Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5497-5512
No TPTP formula. May not be expressible in strict first order. naics.kif 2194-2210
No TPTP formula. May not be expressible in strict first order. naics.kif 7509-7521
No TPTP formula. May not be expressible in strict first order. naics.kif 2457-2475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5066-5074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30184-30197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4257-4263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5414-5419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5617-5619
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1809-1819
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1785-1802
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1827-1848
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1856-1863


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