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	Building ist eine teilkategorie von StationaryArtifact

appearance as argument number 2

(disjoint Room Building)	Merge.kif 15778-15778	Room ist dijunkt von Building %n{nicht}
(subclass Auditorium Building)	Mid-level-ontology.kif 7319-7319	Auditorium ist eine teilkategorie von Building
(subclass Barn Building)	Mid-level-ontology.kif 15735-15735	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 7043-7043	CommercialBuilding ist eine teilkategorie von Building
(subclass EntertainmentBuilding Building)	Mid-level-ontology.kif 22389-22389	EntertainmentBuilding ist eine teilkategorie von Building
(subclass FarmBuilding Building)	Mid-level-ontology.kif 7090-7090	FarmBuilding ist eine teilkategorie von Building
(subclass GovernmentBuilding Building)	Mid-level-ontology.kif 22401-22401	GovernmentBuilding ist eine teilkategorie von Building
(subclass HighRise Building)	Mid-level-ontology.kif 26491-26491	HighRise ist eine teilkategorie von Building
(subclass HomeGarage Building)	Transportation.kif 2934-2934	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 8475-8475	LibraryBuilding ist eine teilkategorie von Building
(subclass MedicalClinicBuilding Building)	Mid-level-ontology.kif 7666-7666	MedicalClinicBuilding ist eine teilkategorie von Building
(subclass OfficeBuilding Building)	Mid-level-ontology.kif 22476-22476	OfficeBuilding ist eine teilkategorie von Building
(subclass ParkingGarage Building)	Transportation.kif 2935-2935	ParkingGarage ist eine teilkategorie von Building
(subclass PlaceOfWorship Building)	Mid-level-ontology.kif 22519-22519	PlaceOfWorship ist eine teilkategorie von Building
(subclass PoliceFacility Building)	Mid-level-ontology.kif 20921-20921	PoliceFacility ist eine teilkategorie von Building
(subclass ReligiousBuilding Building)	Mid-level-ontology.kif 7903-7903	ReligiousBuilding ist eine teilkategorie von Building
(subclass ResidentialBuilding Building)	Merge.kif 15825-15825	ResidentialBuilding ist eine teilkategorie von Building
(subclass RestaurantBuilding Building)	Mid-level-ontology.kif 22555-22555	RestaurantBuilding ist eine teilkategorie von Building
(subclass SchoolBuilding Building)	Mid-level-ontology.kif 22481-22481	SchoolBuilding ist eine teilkategorie von Building
(subclass Store Building)	Mid-level-ontology.kif 7078-7078	Store ist eine teilkategorie von Building
(subclass TerminalBuilding Building)	Transportation.kif 2919-2919	TerminalBuilding ist eine teilkategorie von Building
(subclass TollBooth Building)	Transportation.kif 3076-3076	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 26147-26159	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 15096-15106	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 15072-15084	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 6920-6926	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 102-121	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 15765-15775	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 5042-5050	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 6720-6726	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 21182-21191	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 15410-15419	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 20551-20558	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 20791-20798	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 15298-15305	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 15426-15439	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 15372-15377	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 15485-15490	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 15621-15636	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 9144-9149	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 15398-15403	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 8498-8505	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 9132-9138	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 15688-15695	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 15643-15648	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 15345-15350	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 15784-15789	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 7912-7917	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 15175-15183	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 15311-15318	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 15289-15296	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 26009-26020	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: