Clothing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15901-15901	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 15902-15903
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 15900-15900	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 5053-5053	Apron e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5068-5068	Belt e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5096-5096	Cloak e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5107-5107	Collar e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5292-5292	Dress e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5130-5130	Glove e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5145-5145	Hat e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5100-5100	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 5039-5039	OutdoorClothing e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5320-5320	Pajamas e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3554-3554	SafetyVest e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5257-5257	Shirt e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5179-5179	Shoe e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5268-5268	Sleeve e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5242-5242	Sock e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5082-5082	TieClothing e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5164-5164	Trousers e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26685-26685	UniformClothing e' uma sub-classe de Roupa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5471-5471	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 15914-15921	Fisico e' uma instancia de Roupa Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Animal Entidade e' uma &parte de Entidade covers Fisico and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15905-15912	Entidade e' uma instancia de Roupa o argumento Entidade Entidade e' uma instancia de Tecido Entidade e' uma &parte de Entidade tem a forca modal de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30178-30188	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 30145-30153	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 5503-5518	Processo e' uma instancia de Dressing Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Roupa AutonomousAgent nao usa %n Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent usa Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 2194-2210	Colecao e' uma instancia de Organizacao ApparelManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Roupa Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7509-7521	Colecao e' uma instancia de Organizacao ClothingAndClothingAccessoriesStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Roupa Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 2457-2475	Colecao e' uma instancia de Organizacao LeatherAndAlliedProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Roupa Entidade e' uma instancia de Tecido Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5072-5080	Animal usa WearableItem WearableItem e' uma instancia de Belt WearableItem WearableItem e' uma instancia de Roupa Animal usa WearableItem WearableItem encontra WearableItem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30160-30173	Clothed e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Corpo Reprodutor Entidade e' uma &parte de Entidade 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 4264-4270	Fisico e' uma instancia de Button Fisico tem por fim Entidade Entidade e' uma instancia de Roupa Fisico e' uma &parte de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5420-5425	Objeto e' uma instancia de Pocket Objeto Objeto e' uma instancia de Roupa Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5623-5625	Objeto e' uma instancia de Sewing Objeto e' capaz de fazer Roupa no role patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1809-1819	Processo e' uma instancia de DryCleaningService Entidade Objeto and Objeto Entidade e' uma instancia de Roupa Objeto e' um instrumento para Processo Objeto e' uma instancia de Agua Objeto e' uma instancia de ChemicalProduct Objeto e' um instrumento para Processo Entidade e' um patient de Processo Clean e' um atributo de Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1785-1802	Processo e' uma instancia de LaundryService Entidade Processo, Processo and Processo Entidade e' uma instancia de Roupa Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Washing Entidade e' um patient de Processo Clean e' um atributo de Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Secar Entidade e' um patient de Processo Processo e' uma instancia de Ironing Processo e' um sub-processo de Processo Entidade e' um patient de Processo o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	Processo e' uma instancia de ValetLaundryService Humano AutonomousAgent, TemporaryResidence, Entidade, Processo, Processo and Processo customer Humano and AutonomousAgent stays Humano and TemporaryResidence Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Roupa Processo e' uma instancia de Obter Processo e' situado em TemporaryResidence Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo e' uma instancia de LaundryService Processo e' uma instancia de DryCleaningService Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo e' uma instancia de DeliveryService Entidade e' um patient de Processo Processo termina em TemporaryResidence o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1856-1863	Processo e' uma instancia de IroningService Processo Entidade Entidade e' uma instancia de Roupa Processo e' uma instancia de Ironing Entidade e' um patient de Processo Processo e' um sub-processo de Processo

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

KB Term:			Term intersection

English Word: