TreeView Knowledge Base Browser - Opening

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Opening

Opening

more pictures...

appearance as argument number 1

(documentation Opening EnglishLanguage "The Class of Processes where an aperture is created in an Object. Note that the aperture may be created intentionally, as when one opens a door, or unintentionally, as when the ground ruptures in a seismic event.")	Mid-level-ontology.kif 21548-21551
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg")	pictureList.kif 11553-11553
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg")	pictureList.kif 11557-11557
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg")	pictureList.kif 11555-11555
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg")	pictureList.kif 11554-11554
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg")	pictureList.kif 10168-10168
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg")	pictureList.kif 11556-11556
(relatedInternalConcept Opening Closing)	Mid-level-ontology.kif 21547-21547	Opening は Closing に internally 関連して %n
(subclass Opening Motion)	Mid-level-ontology.kif 21546-21546	Opening は motion の subclass では %n

appearance as argument number 2

(subclass OpeningEyes Opening)	Mid-level-ontology.kif 19981-19981	OpeningEyes は Opening の subclass では %n
(termFormat ChineseLanguage Opening "开盘")	domainEnglishFormat.kif 42200-42200
(termFormat ChineseTraditionalLanguage Opening "開盤")	domainEnglishFormat.kif 42199-42199
(termFormat EnglishLanguage Opening "opening")	domainEnglishFormat.kif 42198-42198

consequent

(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD)))	Mid-level-ontology.kif 29453-29459	オブジェクトは VehicleDoor の instance では %n DeviceNormal はオブジェクトの attribute では %n オブジェクトは Opening を patient として行う capable では %n オブジェクトは Closing を patient として行う capable では %n
(=> (attribute ?X Doorman) (hasPurpose ?X (exists (?DOOR ?PROC) (and (instance ?DOOR Door) (agent ?PROC ?X) (patient ?PROC ?DOOR) (or (instance ?PROC Opening) (instance ?PROC Closing))))))	Hotel.kif 2428-2438	Doorman はオブジェクトの attribute では %n オブジェクトはエンティティーエンティティーエンティティーは Door の instance では %n オブジェクトはエンティティーの agent では %n エンティティーはエンティティーの patient では %n エンティティーは Opening の instance では %n エンティティーは Closing の instance では %n の目的 %n{ない}
(=> (instance ?L Lid) (exists (?C) (and (instance ?C Container) (part ?L ?C) (capability Closing instrument ?L) (capability Opening instrument ?L) (top ?L ?C))))	Mid-level-ontology.kif 4012-4020	自己接続オブジェクトは Lid の instance では %n 自己接続オブジェクト自己接続オブジェクトは Container の instance では %n 自己接続オブジェクトは自己接続オブジェクトの part では %n 自己接続オブジェクトは Closing を instrument として行う capable では %n 自己接続オブジェクトは Opening を instrument として行う capable では %n 自己接続オブジェクトの top は自己接続オブジェクトでは
(=> (instance ?LOCK ElectronicLock) (hasPurpose ?LOCK (exists (?ES ?PROC) (and (instance ?ES ElectronicSignalling) (destination ?ES ?LOCK) (instance ?PROC Opening) (instrument ?PROC ?LOCK) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC)))))))	Mid-level-ontology.kif 25820-25831	物理は ElectronicLock の instance では %n 物理はエンティティーエンティティーエンティティーは ElectronicSignalling の instance では %n エンティティーは物理に ends %n{ない} エンティティーは Opening の instance では %n 物理はエンティティーの instrument では %n エンティティーの time の existence の beginning はエンティティーの time の existence の beginning の before に happens %n{ない} の目的 %n{ない}
(=> (instance ?MHCV ManifoldHeatControlValve) (hasPurpose ?MHCV (exists (?H ?O ?E ?FV ?T) (and (instance ?H Heating) (instance ?O Opening) (instance ?E Exhaust) (instance ?T Transfer) (instance ?FV FuelVapor) (patient ?O ?MHCV) (instrument ?H ?E) (patient ?H ?FV) (path ?T ?MHCV) (causes ?O ?T) (causes ?T ?H)))))	Cars.kif 3247-3262	物理は ManifoldHeatControlValve の instance では %n 物理はエンティティーエンティティー, エンティティー, エンティティー and エンティティーエンティティーは加熱の instance では %n エンティティーは Opening の instance では %n エンティティーは Exhaust の instance では %n エンティティーは移動の instance では %n エンティティーは FuelVapor の instance では %n 物理はエンティティーの patient では %n エンティティーはエンティティーの instrument では %n エンティティーはエンティティーの patient では %n 物理はエンティティーが発生する path では %n エンティティーはエンティティーを causes %n{ない} エンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (instance ?RA RockerArm) (hasPurpose ?RA (exists (?P1 ?C ?P2 ?V ?O ?FSE) (and (instance ?P1 Pushing) (instance ?C Cam) (instance ?P2 Pushing) (instance ?V Valve) (instance ?O Opening) (instance ?FSE FourStrokeEngine) (part ?RA ?FSE) (part ?C ?FSE) (part ?V ?FSE) (instrument ?P1 ?C) (destination ?P1 ?RA) (instrument ?P2 ?RA) (destination ?P2 ?V) (causes ?P1 ?P2) (causes ?P2 ?O) (patient ?O ?V)))))	Cars.kif 3829-3849	物理は RockerArm の instance では %n 物理はエンティティーエンティティー, エンティティー, エンティティー, エンティティー and エンティティーエンティティーは Pushing の instance では %n エンティティーは Cam の instance では %n エンティティーは Pushing の instance では %n エンティティーは Valve の instance では %n エンティティーは Opening の instance では %n エンティティーは FourStrokeEngine の instance では %n 物理はエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーの instrument では %n エンティティーは物理に ends %n{ない} 物理はエンティティーの instrument では %n エンティティーはエンティティーに ends %n{ない} エンティティーはエンティティーを causes %n{ない} エンティティーはエンティティーを causes %n{ない} エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?O) (and (instance ?O Opening) (patient ?O ?VD)))))	Mid-level-ontology.kif 29437-29443	物理は VehicleDoor の instance では %n 物理はエンティティーエンティティーは Opening の instance では %n 物理はエンティティーの patient では %n の目的 %n{ない}

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