TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Building ChineseLanguage "这是为了容纳 Human 和他们的活动 StationaryArtifact 的类别。")	chinese_format.kif 3586-3587
(documentation Building EnglishLanguage "The Class of StationaryArtifacts which are intended to house Humans and their activities.")	Merge.kif 15762-15763
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg")	pictureList.kif 1678-1678
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg")	pictureList.kif 2127-2127
(subclass Building StationaryArtifact)	Merge.kif 15761-15761	Predio e' uma sub-classe de Artefato Estacionario

appearance as argument number 2

(disjoint Room Building)	Merge.kif 15778-15778	Comodo e' disjunto de Predio
(subclass Auditorium Building)	Mid-level-ontology.kif 7319-7319	Auditorium e' uma sub-classe de Predio
(subclass Barn Building)	Mid-level-ontology.kif 15735-15735	Barn e' uma sub-classe de Predio
(subclass BaseballDugout Building)	Sports.kif 648-648	BaseballDugout e' uma sub-classe de Predio
(subclass CommercialBuilding Building)	Mid-level-ontology.kif 7043-7043	CommercialBuilding e' uma sub-classe de Predio
(subclass EntertainmentBuilding Building)	Mid-level-ontology.kif 22389-22389	EntertainmentBuilding e' uma sub-classe de Predio
(subclass FarmBuilding Building)	Mid-level-ontology.kif 7090-7090	FarmBuilding e' uma sub-classe de Predio
(subclass GovernmentBuilding Building)	Mid-level-ontology.kif 22401-22401	GovernmentBuilding e' uma sub-classe de Predio
(subclass HighRise Building)	Mid-level-ontology.kif 26491-26491	HighRise e' uma sub-classe de Predio
(subclass HomeGarage Building)	Transportation.kif 2934-2934	HomeGarage e' uma sub-classe de Predio
(subclass HotelVilla Building)	Hotel.kif 132-132	HotelVilla e' uma sub-classe de Predio
(subclass LibraryBuilding Building)	Mid-level-ontology.kif 8475-8475	LibraryBuilding e' uma sub-classe de Predio
(subclass MedicalClinicBuilding Building)	Mid-level-ontology.kif 7666-7666	MedicalClinicBuilding e' uma sub-classe de Predio
(subclass OfficeBuilding Building)	Mid-level-ontology.kif 22476-22476	OfficeBuilding e' uma sub-classe de Predio
(subclass ParkingGarage Building)	Transportation.kif 2935-2935	ParkingGarage e' uma sub-classe de Predio
(subclass PlaceOfWorship Building)	Mid-level-ontology.kif 22519-22519	PlaceOfWorship e' uma sub-classe de Predio
(subclass PoliceFacility Building)	Mid-level-ontology.kif 20921-20921	PoliceFacility e' uma sub-classe de Predio
(subclass ReligiousBuilding Building)	Mid-level-ontology.kif 7903-7903	ReligiousBuilding e' uma sub-classe de Predio
(subclass ResidentialBuilding Building)	Merge.kif 15825-15825	ResidentialBuilding e' uma sub-classe de Predio
(subclass RestaurantBuilding Building)	Mid-level-ontology.kif 22555-22555	RestaurantBuilding e' uma sub-classe de Predio
(subclass SchoolBuilding Building)	Mid-level-ontology.kif 22481-22481	SchoolBuilding e' uma sub-classe de Predio
(subclass Store Building)	Mid-level-ontology.kif 7078-7078	Store e' uma sub-classe de Predio
(subclass TerminalBuilding Building)	Transportation.kif 2919-2919	TerminalBuilding e' uma sub-classe de Predio
(subclass TollBooth Building)	Transportation.kif 3076-3076	TollBooth e' uma sub-classe de Predio
(termFormat ChineseLanguage Building "建筑物")	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

(domain numberOfFloors 1 Building)

Hotel.kif 702-702

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

antecedent

(=> (and (attribute ?X WheelchairAccessible) (or (instance ?X Building) (instance ?X Room))) (modalAttribute (exists (?MOTION ?WHEELCHAIR) (and (instance ?MOTION Motion) (instrument ?MOTION ?WHEELCHAIR) (instance ?WHEELCHAIR Wheelchair) (eventLocated ?MOTION ?X))) Possibility))	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
(=> (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING)) (exists (?STEPS) (and (instance ?STEPS Steps) (connects ?STEPS ?LEVEL1 ?LEVEL2))))	Mid-level-ontology.kif 15096-15106	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
(=> (and (instance ?S Stairway) (part ?S ?B) (instance ?B Building)) (hasPurpose ?S (exists (?L1 ?L2) (and (instance ?L1 BuildingLevel) (instance ?L2 BuildingLevel) (part ?L1 ?B) (part ?L2 ?B) (connects ?S ?L1 ?L2)))))	Mid-level-ontology.kif 15072-15084	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
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 6920-6926	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
(=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))	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
(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))	Merge.kif 15765-15775	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

(=> (and (instance ?CLOTHING OutdoorClothing) (holdsDuring ?TIME (wears ?PERSON ?CLOTHING))) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (holdsDuring ?TIME (located ?PERSON ?BUILDING))))))	Mid-level-ontology.kif 5042-5050	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
(=> (and (instance ?ORG Organization) (attribute ?ORG WarehousingAndStorage)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?B ?T) (and (instance ?T TimeInterval) (instance ?B Building) (possesses ?P ?OBJ) (holdsDuring ?T (located ?B ?OBJ)))) ?MEM ?P))))))	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
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING))))	Mid-level-ontology.kif 6720-6726	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
(=> (hasExpertise ?H Architecture) (exists (?D ?P ?B) (and (instance ?D ContentDevelopment) (agent ?D ?H) (result ?D ?P) (instance ?P Blueprint) (represents ?P ?B) (instance ?B Building))))	Mid-level-ontology.kif 21182-21191	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
(=> (instance ?BASEMENT Basement) (not (exists (?LEVEL ?BUILDING) (and (instance ?LEVEL BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL ?BUILDING) (part ?BASEMENT ?BUILDING) (not (equal ?LEVEL ?BASEMENT)) (orientation ?LEVEL ?BASEMENT Below)))))	Mid-level-ontology.kif 15410-15419	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
(=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU))))	Mid-level-ontology.kif 20551-20558	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
(=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B))))	Mid-level-ontology.kif 20791-20798	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
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	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
(=> (instance ?E Elevator) (hasPurpose ?E (exists (?T ?L1 ?L2 ?B) (and (instance ?T Transportation) (origin ?T ?L1) (instance ?L1 BuildingLevel) (destination ?T ?L2) (instance ?L2 BuildingLevel) (not (equal ?L1 ?L2)) (part ?L1 ?B) (part ?L2 ?B) (instance ?B Building)))))	Mid-level-ontology.kif 15426-15439	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
(=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B))))	Mid-level-ontology.kif 15372-15377	Objeto e' uma instancia de Fireplace Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
(=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING))))	Mid-level-ontology.kif 15485-15490	Objeto e' uma instancia de Garage Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
(=> (instance ?HALL Hallway) (hasPurpose ?HALL (exists (?TRAN ?BUILD ?R1 ?R2) (and (instance ?TRAN Translocation) (path ?TRAN ?HALL) (located ?HALL ?BUILD) (instance ?BUILD Building) (between ?R1 ?HALL ?R2) (instance ?R1 Room) (instance ?R2 Room) (located ?R1 ?BUILD) (located ?R2 ?BUILD) (not (equal ?R1 ?R2))))))	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
(=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 9144-9149	Objeto e' uma instancia de Indoors Objeto Objeto e' uma instancia de Predio Objeto e' Inside em relacao a Objeto
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING))))	Mid-level-ontology.kif 15398-15403	Objeto e' uma instancia de BuildingLevel Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B))))	Mid-level-ontology.kif 8498-8505	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
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 9132-9138	Objeto e' uma instancia de Outdoors Objeto Objeto e' uma instancia de Predio Objeto e' Inside em relacao a Objeto
(=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT)))))	Mid-level-ontology.kif 15688-15695	Objeto e' uma instancia de IndustrialPlant Objeto e' uma instancia de Predio Fisico Fisico e' uma instancia de Predio Fisico e' situado em Objeto
(=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 15643-15648	Objeto e' uma instancia de Porch Objeto Objeto e' uma instancia de Predio Objeto e' conectado com Objeto
(=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING))))	Mid-level-ontology.kif 15345-15350	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
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 15784-15789	Objeto e' uma instancia de Comodo Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
(=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING))))	Mid-level-ontology.kif 7912-7917	Objeto e' uma instancia de Steeple Objeto Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	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
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	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
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	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
(=> (instance ?X Courtyard) (and (not (exists (?ROOF) (and (instance ?ROOF Roof) (top ?ROOF ?X)))) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Surrounded)))))	Mid-level-ontology.kif 26009-26020	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: