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	建物は固定アーチファクトの subclass では %n

appearance as argument number 2

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

numberOfFloors の数値 1 引数は建物の instance では %n

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	WheelchairAccessible はオブジェクトの attribute では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n ステートメントエンティティーエンティティーエンティティーは motion の instance では %n エンティティーはエンティティーの instrument では %n エンティティーは Wheelchair の instance では %n eventLocated エンティティー and オブジェクトには Possibility の modal force がある
(=> (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	オブジェクトは BuildingLevel の instance では %n オブジェクトは BuildingLevel の instance では %n オブジェクトは建物の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトオブジェクトは Steps の instance では %n オブジェクトはオブジェクトとオブジェクトに connects %n{ない}
(=> (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	オブジェクトは Stairway の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトはエンティティーエンティティーエンティティーは BuildingLevel の instance では %n エンティティーは BuildingLevel の instance では %n エンティティーはオブジェクトの part では %n エンティティーはオブジェクトの part では %n オブジェクトはエンティティーとエンティティーに connects %n{ない} の目的 %n{ない}
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 6948-6954	PermanentResidence は SingleFamilyResidence の instance では %n 人［人間］の homeは PermanentResidence では %n 人［人間］は PermanentResidence を possesses %n{ない} PermanentResidence は建物の instance では PermanentResidence は CondominiumUnit の instance では %n
(=> (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	認識エージェントはオブジェクトを possesses %n{ない} 認識エージェントは CommercialAgent の instance では %n オブジェクトは ParkingLot の instance では %n オブジェクトは建物の instance では %n 認識エージェントはオブジェクトに located して %n customer 認識エージェント and AutonomousAgent AutonomousAgent はオブジェクトに located して %n は時間位置の during holds %n{ない} 工程は運転の instance では %n エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n 工程はオブジェクトに ends %n{ない} 認識エージェントは AutonomousAgent がエンティティーは保持の instance では %n エンティティーはオブジェクトに ends %n{ない} エンティティーはエンティティーの patient では %n のタスクを実行することはを allows %n{ない} は時間位置の during holds %n{ない}
(=> (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	オブジェクトは建物の instance では %n 物物は人［人間］の instance では %n 物はオブジェクトに lives %n{ない} 工程物は工程の agent では %n 工程はオブジェクトに located して %n

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	エンティティーは OutdoorClothing の instance では %n エンティティーは % を wears %n{ない} は時間位置の during holds %n{ない} エンティティーエンティティーは建物の instance では %n エンティティーはエンティティーに located して %n は時間位置の during holds %n{ない}
(=> (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	コレクションは組織の instance では %n WarehousingAndStorage はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェントエンティティー AutonomousAgent は販売の instance では %n エンティティーはオブジェクトの instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティーエンティティーエンティティーは時間間隔の instance では %n エンティティーは建物の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーに located して %n はエンティティーの during holds %n{ない} のタスクを実行することはを allows %n{ない}
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING))))	Mid-level-ontology.kif 6715-6721	StreetAddressFn 固定アーチファクト, Roadway, 都市 and 国民は AutonomousAgent と equal では %n オブジェクトオブジェクトは建物の instance では %n 固定アーチファクトはオブジェクトの part では %n
(=> (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	hasExpertise 人［人間］ and Architecture 工程エンティティー and エンティティー工程はコンテンツ開発の instance では %n 人［人間］は工程の agent では %n エンティティーは工程の result では %n エンティティーは Blueprint の instance では %n エンティティーはエンティティーを expresses %n{ない} エンティティーは建物の instance では %n
(=> (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	オブジェクトは Basement の instance では %n オブジェクトオブジェクトオブジェクトは BuildingLevel の instance では %n オブジェクトは建物の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトと equal ではオブジェクトは Below 対オブジェクトでは %n
(=> (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	固定アーチファクトは BuildingUnit の instance では %n 組織オブジェクトオブジェクトは建物の instance では %n 組織は組織の instance では %n 固定アーチファクトはオブジェクトの part では %n workLocation 組織 and 固定アーチファクト
(=> (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	工程は Carpentry の instance では %n オブジェクトオブジェクトオブジェクトは建物の instance では %n オブジェクトは Wood の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは工程の result では %n
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 15326-15333	オブジェクトは Door の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n
(=> (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	物理は Elevator の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは交通手段の instance では %n エンティティーはエンティティーから originates %n{ない} エンティティーは BuildingLevel の instance では %n エンティティーはエンティティーに ends %n{ない} エンティティーは BuildingLevel の instance では %n エンティティーはエンティティーと equal ではエンティティーはエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーは建物の instance では %n の目的 %n{ない}
(=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B))))	Mid-level-ontology.kif 15400-15405	オブジェクトは Fireplace の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトはオブジェクトの part では %n
(=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING))))	Mid-level-ontology.kif 15513-15518	オブジェクトは Garage の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトはオブジェクトの part では %n
(=> (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	物理は Hallway の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは Translocation の instance では %n 物理はエンティティーが発生する path では %n 物理はエンティティーに located して %n エンティティーは建物の instance では %n 物理はエンティティーとエンティティーの between では %n エンティティーは部屋の instance では %n エンティティーは部屋の instance では %n エンティティーはエンティティーに located して %n エンティティーはエンティティーに located して %n エンティティーはエンティティーと equal ではの目的 %n{ない}
(=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 9172-9177	オブジェクトは Indoors の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトは Inside 対オブジェクトでは %n
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING))))	Mid-level-ontology.kif 15426-15431	オブジェクトは BuildingLevel の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトはオブジェクトの part では %n
(=> (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	AutonomousAgent は ArtMuseum の instance では %n オブジェクト物理 AutonomousAgent はオブジェクトを possesses %n{ない} オブジェクトは建物の instance では %n 物理は芸術作品の instance では %n 物理はオブジェクトに located して %n
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 9160-9166	オブジェクトは Outdoors の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトは Inside 対オブジェクトでは %n
(=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT)))))	Mid-level-ontology.kif 15716-15723	オブジェクトは IndustrialPlant の instance では %n オブジェクトは建物の instance では %n 物理物理は建物の instance では %n 物理はオブジェクトに located して %n
(=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 15671-15676	オブジェクトは Porch の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトはオブジェクトと connected して
(=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING))))	Mid-level-ontology.kif 15373-15378	自己接続オブジェクトは Roof の instance では %n 自己接続オブジェクト自己接続オブジェクトは建物の instance では %n 自己接続オブジェクトの top は自己接続オブジェクトでは
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 15808-15813	オブジェクトは部屋の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトはオブジェクトの proper part では %n
(=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING))))	Mid-level-ontology.kif 7940-7945	オブジェクトは Steeple の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトはオブジェクトの part では %n
(=> (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	オブジェクトは Window の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n オブジェクトは Vehicle の instance では %n
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 15339-15346	オブジェクトは Wall の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 15317-15324	オブジェクトは Doorway の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n
(=> (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	自己接続オブジェクトは Courtyard の instance では %n 自己接続オブジェクト自己接続オブジェクトは Roof の instance では %n 自己接続オブジェクトの top は自己接続オブジェクトではオブジェクトオブジェクトは建物の instance では %n 自己接続オブジェクトは Surrounded 対オブジェクトでは %n

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: