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 15786-15787
(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 15785-15785	Building ist eine teilkategorie von StationaryArtifact

appearance as argument number 2

(disjoint Room Building)	Merge.kif 15802-15802	Room ist dijunkt von Building %n{nicht}
(subclass Auditorium Building)	Mid-level-ontology.kif 7347-7347	Auditorium ist eine teilkategorie von Building
(subclass Barn Building)	Mid-level-ontology.kif 15763-15763	Barn ist eine teilkategorie von Building
(subclass BaseballDugout Building)	Sports.kif 648-648	BaseballDugout ist eine teilkategorie von Building
(subclass CommercialBuilding Building)	Mid-level-ontology.kif 7071-7071	CommercialBuilding ist eine teilkategorie von Building
(subclass EntertainmentBuilding Building)	Mid-level-ontology.kif 22442-22442	EntertainmentBuilding ist eine teilkategorie von Building
(subclass FarmBuilding Building)	Mid-level-ontology.kif 7118-7118	FarmBuilding ist eine teilkategorie von Building
(subclass GovernmentBuilding Building)	Mid-level-ontology.kif 22454-22454	GovernmentBuilding ist eine teilkategorie von Building
(subclass HighRise Building)	Mid-level-ontology.kif 26536-26536	HighRise ist eine teilkategorie von Building
(subclass HomeGarage Building)	Transportation.kif 2985-2985	HomeGarage ist eine teilkategorie von Building
(subclass HotelVilla Building)	Hotel.kif 132-132	HotelVilla ist eine teilkategorie von Building
(subclass LibraryBuilding Building)	Mid-level-ontology.kif 8503-8503	LibraryBuilding ist eine teilkategorie von Building
(subclass MedicalClinicBuilding Building)	Mid-level-ontology.kif 7694-7694	MedicalClinicBuilding ist eine teilkategorie von Building
(subclass OfficeBuilding Building)	Mid-level-ontology.kif 22529-22529	OfficeBuilding ist eine teilkategorie von Building
(subclass ParkingGarage Building)	Transportation.kif 2986-2986	ParkingGarage ist eine teilkategorie von Building
(subclass PlaceOfWorship Building)	Mid-level-ontology.kif 22572-22572	PlaceOfWorship ist eine teilkategorie von Building
(subclass PoliceFacility Building)	Mid-level-ontology.kif 20949-20949	PoliceFacility ist eine teilkategorie von Building
(subclass ReligiousBuilding Building)	Mid-level-ontology.kif 7931-7931	ReligiousBuilding ist eine teilkategorie von Building
(subclass ResidentialBuilding Building)	Merge.kif 15849-15849	ResidentialBuilding ist eine teilkategorie von Building
(subclass RestaurantBuilding Building)	Mid-level-ontology.kif 22608-22608	RestaurantBuilding ist eine teilkategorie von Building
(subclass SchoolBuilding Building)	Mid-level-ontology.kif 22534-22534	SchoolBuilding ist eine teilkategorie von Building
(subclass Store Building)	Mid-level-ontology.kif 7106-7106	Store ist eine teilkategorie von Building
(subclass TerminalBuilding Building)	Transportation.kif 2970-2970	TerminalBuilding ist eine teilkategorie von Building
(subclass TollBooth Building)	Transportation.kif 3128-3128	TollBooth ist eine teilkategorie von Building
(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

Die Zahl 1 Argument von numberOfFloors ist ein fall von Building %n{nicht}

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 26192-26204	Wenn WheelchairAccessible ist ein attribut von Object %n{nicht} und Object ist ein fall von Building %n{nicht} oder Object ist ein fall von Room %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von Motion %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Wheelchair %n{nicht} und eventLocated entity and ** Object hat die modale Kraft von 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 15124-15134	Wenn Object ist ein fall von BuildingLevel %n{nicht} und Object ist ein fall von BuildingLevel %n{nicht} und Object ist ein fall von Building %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}, dann es gibt Object um Object ist ein fall von Steps %n{nicht} und Object schleisst Object und ** Object an
(=> (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 15100-15112	Wenn Object ist ein fall von Stairway %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Building %n{nicht}, dann Object hat Zweck von es gibt entity und entity um entity ist ein fall von BuildingLevel %n{nicht} und entity ist ein fall von BuildingLevel %n{nicht} und entity ist ein teil von Object %n{nicht} und entity ist ein teil von Object %n{nicht} und Object schleisst entity und entity an %n{nicht}
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 6948-6954	Wenn PermanentResidence ist ein fall von SingleFamilyResidence %n{nicht} und home Human and PermanentResidence und Human besitzt PermanentResidence %n{nicht} und PermanentResidence ist ein fall von Building nicht, dann ** PermanentResidence ist ein fall von CondominiumUnit %n{nicht}
(=> (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 106-125	Wenn CognitiveAgent besitzt Object %n{nicht} und CognitiveAgent ist ein fall von CommercialAgent %n{nicht} und Object ist ein fall von ParkingLot %n{nicht} und Object ist ein fall von Building %n{nicht} und CognitiveAgent befindet sich an %n{nicht} und customer CognitiveAgent and AutonomousAgent und AutonomousAgent befindet sich an %n{nicht} haelt waehrend TimePosition %n{nicht} und Process ist ein fall von Driving %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an Object %n{nicht}, dann CognitiveAgent erlaubt AutonomousAgent, die Aufgabe der Art von entity ist ein fall von Keeping %n{nicht} und entity endet an Object %n{nicht} und Entity ist ein patient von entity %n{nicht} durchzuf�hren %n{nicht} haelt waehrend TimePosition %n{nicht}
(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))	Merge.kif 15789-15799	Wenn Object ist ein fall von Building %n{nicht}, dann es gibt Organism um Organism ist ein fall von Human %n{nicht} und Organism wohnt in Object oder es gibt Process um Process ist der agent von Organism %n{nicht} und Process befindet sich an %n{nicht}

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 5037-5045	Wenn Entity ist ein fall von OutdoorClothing %n{nicht} und wears entity and Entity haelt waehrend TimePosition %n{nicht}, dann es gibt nicht Entity um Entity ist ein fall von Building %n{nicht} und entity befindet sich an %n{nicht} haelt waehrend TimePosition %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und WarehousingAndStorage ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt CognitiveAgent und Entity um AutonomousAgent ist ein fall von Selling %n{nicht} und Entity ist ein fall von Object %n{nicht} und CognitiveAgent ist ein fall von Human %n{nicht} und CognitiveAgent ist ein patient von AutonomousAgent %n{nicht} und Process erlaubt CognitiveAgent, die Aufgabe der Art von es gibt entity und entity um entity ist ein fall von TimeInterval %n{nicht} und entity ist ein fall von Building %n{nicht} und CognitiveAgent besitzt Entity %n{nicht} und entity befindet sich an %n{nicht} haelt waehrend entity %n{nicht} durchzuf�hren %n{nicht}
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING))))	Mid-level-ontology.kif 6715-6721	Wenn StreetAddressFn StationaryArtifact, Roadway, City and Nation ist gleich AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein fall von Building %n{nicht} und StationaryArtifact ist ein teil von ** Object %n{nicht}
(=> (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 21210-21219	Wenn hasExpertise Human and Architecture, dann es gibt Process, Entity, and und Entity um Process ist ein fall von ContentDevelopment %n{nicht} und Process ist der agent von Human %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von Blueprint %n{nicht} und Entity drueckt Entity aus und Entity ist ein fall von Building %n{nicht}
(=> (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 15438-15447	Wenn Object ist ein fall von Basement %n{nicht}, dann es gibt nicht Object und Object um Object ist ein fall von BuildingLevel %n{nicht} und Object ist ein fall von Building %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist gleich Object nicht und Object ist Below hinsichlich ** Object %n{nicht}
(=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU))))	Mid-level-ontology.kif 20579-20586	Wenn StationaryArtifact ist ein fall von BuildingUnit %n{nicht}, dann es gibt Organization und Object um Object ist ein fall von Building %n{nicht} und Organization ist ein fall von Organization %n{nicht} und StationaryArtifact ist ein teil von Object %n{nicht} und workLocation Organization and StationaryArtifact
(=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B))))	Mid-level-ontology.kif 20819-20826	Wenn Process ist ein fall von Carpentry %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Building %n{nicht} und Object ist ein fall von Wood %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein resultat von ** Process %n{nicht}
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 15326-15333	Wenn Object ist ein fall von Door %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Object ist ein fall von Building %n{nicht} oder Object ist ein fall von Room %n{nicht}
(=> (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 15454-15467	Wenn Physical ist ein fall von Elevator %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Transportation %n{nicht} und entity beginnet an entity %n{nicht} und entity ist ein fall von BuildingLevel %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von BuildingLevel %n{nicht} und entity ist gleich entity nicht und entity ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und ** entity ist ein fall von Building %n{nicht} %n{nicht}
(=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B))))	Mid-level-ontology.kif 15400-15405	Wenn Object ist ein fall von Fireplace %n{nicht}, dann es gibt Object um Object ist ein fall von Building %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING))))	Mid-level-ontology.kif 15513-15518	Wenn Object ist ein fall von Garage %n{nicht}, dann es gibt Object um Object ist ein fall von Building %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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 15649-15664	Wenn Physical ist ein fall von Hallway %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Translocation %n{nicht} und Physical ist der pfad entlang dem entity geschieht und Physical befindet sich an %n{nicht} und entity ist ein fall von Building %n{nicht} und Physical ist zwischen entity und entity %n{nicht} und entity ist ein fall von Room %n{nicht} und entity ist ein fall von Room %n{nicht} und entity befindet sich an %n{nicht} und entity befindet sich an %n{nicht} und entity ist gleich ** entity nicht %n{nicht}
(=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 9172-9177	Wenn Object ist ein fall von Indoors %n{nicht}, dann es gibt Object um Object ist ein fall von Building %n{nicht} und Object ist Inside hinsichlich Object %n{nicht}
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING))))	Mid-level-ontology.kif 15426-15431	Wenn Object ist ein fall von BuildingLevel %n{nicht}, dann es gibt Object um Object ist ein fall von Building %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B))))	Mid-level-ontology.kif 8526-8533	Wenn AutonomousAgent ist ein fall von ArtMuseum %n{nicht}, dann es gibt Object und Physical um AutonomousAgent besitzt Object %n{nicht} und Object ist ein fall von Building %n{nicht} und Physical ist ein fall von ArtWork %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 9160-9166	Wenn Object ist ein fall von Outdoors %n{nicht}, dann es gibt nicht Object um Object ist ein fall von Building %n{nicht} und Object ist Inside hinsichlich Object %n{nicht}
(=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT)))))	Mid-level-ontology.kif 15716-15723	Wenn Object ist ein fall von IndustrialPlant %n{nicht}, dann Object ist ein fall von Building %n{nicht} oder es gibt Physical um Physical ist ein fall von Building %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 15671-15676	Wenn Object ist ein fall von Porch %n{nicht}, dann es gibt Object um Object ist ein fall von Building %n{nicht} und Object wird an Object angeschlossen
(=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING))))	Mid-level-ontology.kif 15373-15378	Wenn SelfConnectedObject ist ein fall von Roof %n{nicht}, dann es gibt SelfConnectedObject um SelfConnectedObject ist ein fall von Building %n{nicht} und die oberseite von SelfConnectedObject ist SelfConnectedObject
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 15808-15813	Wenn Object ist ein fall von Room %n{nicht}, dann es gibt Object um Object ist ein fall von Building %n{nicht} und Object ist ein korrektes teil von Object %n{nicht}
(=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING))))	Mid-level-ontology.kif 7940-7945	Wenn Object ist ein fall von Steeple %n{nicht}, dann es gibt Object um Object ist ein fall von Building %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 15203-15211	Wenn Object ist ein fall von Window %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Object ist ein fall von Building %n{nicht} oder Object ist ein fall von Room %n{nicht} oder Object ist ein fall von Vehicle %n{nicht}
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 15339-15346	Wenn Object ist ein fall von Wall %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Object ist ein fall von Building %n{nicht} oder Object ist ein fall von Room %n{nicht}
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 15317-15324	Wenn Object ist ein fall von Doorway %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Object ist ein fall von Building %n{nicht} oder Object ist ein fall von Room %n{nicht}
(=> (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 26054-26065	Wenn SelfConnectedObject ist ein fall von Courtyard %n{nicht}, dann es gibt nicht SelfConnectedObject um SelfConnectedObject ist ein fall von Roof %n{nicht} und die oberseite von SelfConnectedObject ist SelfConnectedObject und es gibt Object um Object ist ein fall von Building %n{nicht} und SelfConnectedObject ist Surrounded hinsichlich ** Object %n{nicht}

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: