TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3586-3587
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15740-15741
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1678-1678
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2127-2127
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15739-15739	Predio e' uma sub-classe de Artefato Estacionario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15756-15756	Comodo e' disjunto de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7320-7320	Auditorium e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15736-15736	Barn e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Sports.kif 648-648	BaseballDugout e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7044-7044	CommercialBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22390-22390	EntertainmentBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7091-7091	FarmBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22402-22402	GovernmentBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26503-26503	HighRise e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2934-2934	HomeGarage e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 132-132	HotelVilla e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8476-8476	LibraryBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7667-7667	MedicalClinicBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22477-22477	OfficeBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2935-2935	ParkingGarage e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22520-22520	PlaceOfWorship e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20922-20922	PoliceFacility e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7904-7904	ReligiousBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15803-15803	ResidentialBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22556-22556	RestaurantBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22482-22482	SchoolBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7079-7079	Store e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2919-2919	TerminalBuilding e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3076-3076	TollBooth e' uma sub-classe de Predio
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1051-1051

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 702-702

O argumento numero 1 de numberOfFloors e' uma instancia de Predio

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	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 15097-15107	Objeto e' uma instancia de BuildingLevel Objeto e' uma instancia de BuildingLevel Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de Steps Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15073-15085	Objeto e' uma instancia de Stairway Objeto e' uma &parte de Objeto Objeto e' uma instancia de Predio Objeto tem por fim Entidade Entidade Entidade e' uma instancia de BuildingLevel Entidade e' uma instancia de BuildingLevel Entidade e' uma &parte de Objeto Entidade e' uma &parte de Objeto Objeto conecta Entidade e Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6921-6927	PermanentResidence e' uma instancia de SingleFamilyResidence a casa de Humano e' PermanentResidence Humano possui PermanentResidence PermanentResidence e' uma instancia de Predio PermanentResidence e' uma instancia de CondominiumUnit
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	Agente Cognitivo possui Objeto Agente Cognitivo e' uma instancia de CommercialAgent Objeto e' uma instancia de ParkingLot Objeto e' uma instancia de Predio Agente Cognitivo e' situado em Objeto customer Agente Cognitivo and AutonomousAgent AutonomousAgent e' situado em Objeto vale durante Posicao Temporal Processo e' uma instancia de Dirigir Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Objeto Agente Cognitivo autoriza AutonomousAgent a executar tarefas de tipo Entidade e' uma instancia de Manter Entidade termina em Objeto Entidade e' um patient de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15743-15753	Objeto e' uma instancia de Predio Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto Processo Processo e' um agente de Organismo Processo e' situado em Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5043-5051	Entidade e' uma instancia de OutdoorClothing Entidade usa Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Predio Entidade e' situado em Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	Colecao e' uma instancia de Organizacao WarehousingAndStorage e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Intervalo Temporal Entidade e' uma instancia de Predio Agente Cognitivo possui Entidade Entidade e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6721-6727	StreetAddressFn Artefato Estacionario, Roadway, Cidade and Nacao e' igual a AutonomousAgent Objeto Objeto e' uma instancia de Predio Artefato Estacionario e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21183-21192	hasExpertise Humano and Architecture Processo Entidade and Entidade Processo e' uma instancia de Desenvolvimento de Conteudo Processo e' um agente de Humano Entidade e' o resultado de Processo Entidade e' uma instancia de Blueprint Entidade define Entidade Entidade e' uma instancia de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15411-15420	Objeto e' uma instancia de Basement Objeto Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' igual a Objeto Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20552-20559	Artefato Estacionario e' uma instancia de BuildingUnit Organizacao Objeto Objeto e' uma instancia de Predio Organizacao e' uma instancia de Organizacao Artefato Estacionario e' uma &parte de Objeto workLocation Organizacao and Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20792-20799	Processo e' uma instancia de Carpentry Objeto Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Wood Objeto e' uma &parte de Objeto Objeto e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15299-15306	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 15427-15440	Fisico e' uma instancia de Elevator Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Transporte Entidade tem como origem Entidade Entidade e' uma instancia de BuildingLevel Entidade termina em Entidade Entidade e' uma instancia de BuildingLevel Entidade e' igual a Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Predio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15373-15378	Objeto e' uma instancia de Fireplace Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15486-15491	Objeto e' uma instancia de Garage Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15622-15637	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 9145-9150	Objeto e' uma instancia de Indoors Objeto Objeto e' uma instancia de Predio Objeto e' Inside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15399-15404	Objeto e' uma instancia de BuildingLevel Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8499-8506	AutonomousAgent e' uma instancia de ArtMuseum Objeto Fisico AutonomousAgent possui Objeto Objeto e' uma instancia de Predio Fisico e' uma instancia de Objeto de Arte Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9133-9139	Objeto e' uma instancia de Outdoors Objeto Objeto e' uma instancia de Predio Objeto e' Inside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15689-15696	Objeto e' uma instancia de IndustrialPlant Objeto e' uma instancia de Predio Fisico Fisico e' uma instancia de Predio Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15644-15649	Objeto e' uma instancia de Porch Objeto Objeto e' uma instancia de Predio Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15346-15351	Objeto auto-conectado e' uma instancia de Roof Objeto auto-conectado Objeto auto-conectado e' uma instancia de Predio o topo de Objeto auto-conectado e' Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15762-15767	Objeto e' uma instancia de Comodo Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7913-7918	Objeto e' uma instancia de Steeple Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15176-15184	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 15312-15319	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 15290-15297	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 26021-26032	Objeto auto-conectado e' uma instancia de Courtyard Objeto auto-conectado Objeto auto-conectado e' uma instancia de Roof o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto Objeto e' uma instancia de Predio Objeto auto-conectado e' Surrounded em relacao a Objeto

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: