TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15778-15778	Comodo e' disjunto de Predio
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3588-3590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15779-15782
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 141-141
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15777-15777	Comodo e' uma sub-classe de Artefato Estacionario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15492-15492	Bathroom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15583-15583	Bedroom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1650-1650	BusinessCenter e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15593-15593	Classroom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15503-15503	Closet e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16171-16171	CourtRoom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15579-15579	DiningRoom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15515-15515	DressingRoom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26767-26767	GameRoom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15612-15612	Hallway e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1686-1686	HotelFunctionRoom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 119-119	HotelRoom e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15553-15553	Kitchen e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26780-26780	Nursery e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25395-25395	SelfServiceLaundry e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26738-26738	Solarium e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26791-26791	SteamBath e' uma sub-classe de Comodo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1052-1052
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1315-1315
No TPTP formula. May not be expressible in strict first order.	french_format.kif 730-730
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 261-261
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 264-264
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2414-2414
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 682-682

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.	Mid-level-ontology.kif 26147-26159	WheelchairAccessible e' um atributo de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo o argumento Entidade Entidade Entidade e' uma instancia de Movimento Entidade e' um instrumento para Entidade Entidade e' uma instancia de Wheelchair eventLocated Entidade and Objeto tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	Fisico e' uma instancia de KnockLight Fisico e' situado em Objeto Objeto e' uma instancia de Comodo Objeto e' uma instancia de Door Objeto e' uma &parte de Objeto Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Impactar Objeto e' um patient de Entidade Entidade causa Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade e' uma instancia de RadiatingVisibleLight Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2202-2207	Fisico e' situado em Objeto Fisico e' uma instancia de Toilet Objeto e' uma instancia de Comodo Objeto e' uma instancia de Bathroom
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	viewType Objeto and Fisico Objeto e' uma instancia de Comodo Objeto e' uma instancia de Fisico Objeto e' Outside em relacao a Objeto o argumento Entidade Entidade Entidade e' uma instancia de Humano Entidade e' situado em Objeto Entidade e' uma instancia de Visao Objeto e' um patient de Entidade Entidade e' um agente de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15784-15789	Objeto e' uma instancia de Comodo Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24631-24642	unitNumber Sequencia Simbolica and PostalPlace floorCode Sequencia Simbolica and PostalPlace Fisico Objeto Objeto e' uma instancia de BuildingLevel Fisico e' uma instancia de Comodo Fisico e' situado em Objeto Objeto e' uma &parte de PostalPlace Fisico se chama nome Sequencia Simbolica Objeto se chama nome Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24644-24654	unitNumber Sequencia Simbolica and PostalPlace Sequencia Simbolica floorCode Sequencia Simbolica and PostalPlace Fisico Fisico e' uma instancia de Comodo Fisico se chama nome Sequencia Simbolica Fisico e' situado em PostalPlace
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout e' um atributo de Objeto Objeto e' uma instancia de Comodo Objeto Objeto and Objeto Objeto e' uma instancia de Regiao Objeto e' uma instancia de Regiao Objeto e' situado em Objeto Objeto e' situado em Objeto Objeto e' igual a Objeto Objeto e' Adjacent em relacao a Objeto Formula Formula Formula e' uma instancia de Processo Formula e' uma instancia de Processo Objeto tem por fim Formula Objeto tem por fim Formula Objeto e' uma instancia de AutonomousAgent Objeto e' situado em Objeto Objeto e' capaz de fazer Visao no role agent Objeto e' capaz de fazer Visao no role patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15232-15234	AdjoiningRoom e' um atributo de Objeto Objeto e' uma instancia de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15335-15340	Objeto auto-conectado e' uma instancia de Ceiling Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15298-15305	Objeto e' uma instancia de Door Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15324-15329	Objeto e' uma instancia de Floor Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	Fisico e' uma instancia de Hallway Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Translocation Fisico e' o caminho ao longo do qual Entidade ocorre Fisico e' situado em Entidade Entidade e' uma instancia de Predio Fisico esta' entre Entidade e Entidade Entidade e' uma instancia de Comodo Entidade e' uma instancia de Comodo Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3131-3141	Fisico e' uma instancia de Wallpaper Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Wall Entidade e' uma &parte de Entidade Entidade e' uma instancia de Comodo Entidade e' uma instancia de Cobrir Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15175-15183	Objeto e' uma instancia de Window Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo Objeto e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15311-15318	Objeto e' uma instancia de Wall Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15289-15296	Objeto e' uma instancia de Doorway Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26832-26842	Fisico e' uma instancia de RoomHeater Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Comodo Entidade e' situado em Entidade Entidade e' uma instancia de Aquecer Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade

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

KB Term:			Term intersection

English Word: