(=>     (instance ?KISS Kissing)     (exists (?PERSON1 ?PERSON2 ?LIP1 ?LIP2)         (and             (agent ?KISS ?PERSON1)             (agent ?KISS ?PERSON2)             (instance ?PERSON1 Human)             (instance ?PERSON2 Human)             (not                 (equal ?PERSON1 ?PERSON2))             (instance ?LIP1 Lip)             (instance ?LIP2 Lip)             (part ?LIP1 ?PERSON1)             (part ?LIP2 ?PERSON2)             (holdsDuring                 (BeginFn                     (WhenFn ?KISS))                 (not                     (meetsSpatially ?LIP1 ?LIP2)))             (holdsDuring                 (EndFn                     (WhenFn ?KISS))                 (meetsSpatially ?LIP1 ?LIP2)))))	Mid-level-ontology.kif 11604-11623	工程 は Kissing の instance では %n AutonomousAgent AutonomousAgent, オブジェクト and オブジェクト AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 人［人間］ の instance では %n AutonomousAgent は 人［人間］ の instance では %n AutonomousAgent は AutonomousAgent と equal では オブジェクト は Lip の instance では %n オブジェクト は Lip の instance では %n オブジェクト は AutonomousAgent の part では %n オブジェクト は AutonomousAgent の part では %n オブジェクト は オブジェクト と meet ない は 工程 の time の existence の beginning の during holds %n{ない} オブジェクト は オブジェクト と meets %n{ない} は 工程 の time の existence の end の during holds %n{ない}
(=>     (instance ?LAND Shoal)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?LAND ?WATER))))	Geography.kif 5913-5918	オブジェクト は Shoal の instance では %n オブジェクト オブジェクト は 水域 の instance では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?LAND SubmergedLandArea)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (orientation ?LAND ?WATER Below)             (orientation ?WATER ?LAND On)             (meetsSpatially ?LAND ?WATER))))	Geography.kif 6072-6079	オブジェクト は SubmergedLandArea の instance では %n オブジェクト オブジェクト は 水域 の instance では %n オブジェクト は Below 対 オブジェクト では %n オブジェクト は On 対 オブジェクト では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?LE LungEpithelium)     (exists (?L)         (and             (instance ?L Lung)             (meetsSpatially ?L ?LE))))	Medicine.kif 3075-3080	オブジェクト は LungEpithelium の instance では %n オブジェクト オブジェクト は Lung の instance では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?LINE Shoreline)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?WATER ?LINE))))	Geography.kif 6138-6143	オブジェクト は Shoreline の instance では %n オブジェクト オブジェクト は 水域 の instance では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?M Meteorite)     (exists (?T)         (holdsDuring ?T             (meetsSpatially ?M PlanetEarth))))	Geography.kif 3429-3433	エンティティー は Meteorite の instance では %n 時間位置 エンティティー は PlanetEarth と meets %n{ない} は 時間位置 の during holds %n{ない}
(=>     (instance ?MT MudTire)     (hasPurpose ?MT         (exists (?M)             (and                 (instance ?M Mud)                 (meetsSpatially ?MT ?M)))))	Cars.kif 4998-5004	物理 は MudTire の instance では %n 物理 は エンティティー エンティティー は Mud の instance では %n 物理 は エンティティー と meets %n{ない} の 目的 %n{ない}
(=>     (instance ?OE OutboardEngine)     (hasPurpose ?OE         (exists (?W)             (and                 (instance ?W WaterVehicle)                 (meetsSpatially ?OE ?W)                 (orientation ?OE ?W Outside)))))	Cars.kif 4350-4357	物理 は OutboardEngine の instance では %n 物理 は エンティティー エンティティー は WaterVehicle の instance では %n 物理 は エンティティー と meets %n{ない} 物理 は Outside 対 エンティティー では %n の 目的 %n{ない}
(=>     (instance ?PORT RiverPort)     (exists (?RIVER)         (and             (instance ?RIVER River)             (instance ?RIVER Waterway)             (meetsSpatially ?PORT ?RIVER))))	Transportation.kif 856-862	オブジェクト は RiverPort の instance では %n オブジェクト オブジェクト は River の instance では %n オブジェクト は Waterway の instance では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?SEA Sea)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (meetsSpatially ?LAND ?SEA))))	Geography.kif 4791-4796	オブジェクト は Sea の instance では %n オブジェクト オブジェクト は 土地面積 の instance では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?V Veil)     (hasPurpose ?V         (exists (?F ?H)             (or                 (and                     (instance ?F Face)                     (meetsSpatially ?V ?F))                 (and                     (instance ?H Hair)                     (meetsSpatially ?V ?H))))))	Mid-level-ontology.kif 5473-5483	物理 は Veil の instance では %n 物理 は エンティティー エンティティー エンティティー は Face の instance では %n 物理 は エンティティー と meets %n{ない} エンティティー は Hair の instance では %n 物理 は エンティティー と meets %n{ない} の 目的 %n{ない}
(=>     (instance ?VRR VehicleRoofRack)     (hasPurpose ?VRR         (exists (?T ?A ?C)             (and                 (instance ?T Transfer)                 (patient ?T ?C)                 (instance ?A Automobile)                 (orientation ?VRR ?A Outside)                 (meetsSpatially ?C ?VRR)                 (part ?VRR ?A)                 (instrument ?T ?A)))))	Cars.kif 4669-4680	物理 は VehicleRoofRack の instance では %n 物理 は エンティティー エンティティー and エンティティー エンティティー は 移動 の instance では %n エンティティー は エンティティー の patient では %n エンティティー は Automobile の instance では %n 物理 は Outside 対 エンティティー では %n エンティティー は 物理 と meets %n{ない} 物理 は エンティティー の part では %n エンティティー は エンティティー の instrument では %n の 目的 %n{ない}
(=>     (instance ?W WasherForBolt)     (hasPurpose ?W         (exists (?O1 ?O2)             (and                 (instance ?O1 CorpuscularObject)                 (instance ?O2 AttachingDevice)                 (meetsSpatially ?O1 ?W)                 (contains ?W ?O2)))))	Mid-level-ontology.kif 4285-4293	物理 は WasherForBolt の instance では %n 物理 は エンティティー エンティティー エンティティー は 微粒子オブジェクト の instance では %n エンティティー は AttachingDevice の instance では %n エンティティー は 物理 と meets %n{ない} 物理 は エンティティー を contains %n{ない} の 目的 %n{ない}
(=>     (instance ?WC WheelChock)     (hasPurpose ?WC         (exists (?W ?T)             (and                 (instance ?W Wheel)                 (holdsDuring ?T                     (and                         (meetsSpatially ?WC ?W)                         (not                             (exists (?R)                                 (and                                     (instance ?R Rotating)                                     (patient ?R ?W))))))))))	Cars.kif 4321-4334	物理 は WheelChock の instance では %n 物理 は エンティティー エンティティー エンティティー は Wheel の instance では %n 物理 は エンティティー と meets %n{ない} エンティティー エンティティー は Rotating の instance では %n エンティティー は エンティティー の patient では %n は エンティティー の during holds %n{ない} の 目的 %n{ない}
(=>     (instance ?X BusStop)     (exists (?R)         (and             (instance ?R Roadway)             (meetsSpatially ?X ?R))))	Transportation.kif 2002-2007	オブジェクト は BusStop の instance では %n オブジェクト オブジェクト は Roadway の instance では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?X LandVehicle)     (hasPurpose ?X         (exists (?EV ?SURF)             (and                 (surface ?SURF GeographicArea)                 (instance ?EV Transportation)                 (holdsDuring                     (WhenFn ?EV)                     (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 3472-3481	物理 は LandVehicle の instance では %n 物理 は エンティティー エンティティー エンティティー は 地理的地域 の surface では %n エンティティー は 交通手段 の instance では %n 物理 は エンティティー と meets %n{ない} は エンティティー の time の existence の during holds %n{ない} の 目的 %n{ない}
(=>     (instance ?X MurphyBed)     (exists (?STORAGE)         (and             (instance ?STORAGE Compartment)             (meetsSpatially ?STORAGE ?X)             (hasPurpose ?STORAGE                 (exists (?K)                     (and                         (instance ?K Keeping)                         (patient ?K ?X)                         (destination ?K ?STORAGE)                         (holdsDuring                             (WhenFn ?K)                             (attribute ?X Vertical))))))))	Mid-level-ontology.kif 3893-3907	オブジェクト は MurphyBed の instance では %n オブジェクト オブジェクト は Compartment の instance では %n オブジェクト は オブジェクト と meets %n{ない} オブジェクト は エンティティー エンティティー は 保持 の instance では %n オブジェクト は エンティティー の patient では %n エンティティー は オブジェクト に ends %n{ない} Vertical は オブジェクト の attribute では %n は エンティティー の time の existence の during holds %n{ない} の 目的 %n{ない}
(=>     (instance ?X RailVehicle)     (hasPurpose ?X         (exists (?EV ?RAIL)             (and                 (instance ?RAIL Railway)                 (instance ?EV Transportation)                 (holdsDuring                     (WhenFn ?EV)                     (meetsSpatially ?X ?RAIL))))))	Transportation.kif 2036-2045	物理 は RailVehicle の instance では %n 物理 は エンティティー エンティティー エンティティー は Railway の instance では %n エンティティー は 交通手段 の instance では %n 物理 は エンティティー と meets %n{ない} は エンティティー の time の existence の during holds %n{ない} の 目的 %n{ない}
(=>     (instance ?X Tripod)     (exists (?LEG1 ?LEG2 ?LEG3)         (and             (part ?LEG1 ?X)             (part ?LEG2 ?X)             (part ?LEG3 ?X)             (meetsSpatially ?LEG1 ?LEG2)             (meetsSpatially ?LEG2 ?LEG3)             (meetsSpatially ?LEG1 ?LEG3))))	Mid-level-ontology.kif 26708-26717	オブジェクト は Tripod の instance では %n オブジェクト オブジェクト and オブジェクト オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?X WaterVehicle)     (hasPurpose ?X         (exists (?EV ?SURF)             (and                 (instance ?SURF Water)                 (instance ?EV Transportation)                 (holdsDuring                     (WhenFn ?EV)                     (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 3487-3496	物理 は WaterVehicle の instance では %n 物理 は エンティティー エンティティー エンティティー は 水 の instance では %n エンティティー は 交通手段 の instance では %n 物理 は エンティティー と meets %n{ない} は エンティティー の time の existence の during holds %n{ない} の 目的 %n{ない}
(=>     (instance ?bank RiverBank)     (exists (?river)         (and             (instance ?river River)             (meetsSpatially ?river ?bank))))	Geography.kif 5761-5766	オブジェクト は RiverBank の instance では %n オブジェクト オブジェクト は River の instance では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (instance ?zone         (PerimeterAreaFn ?region))     (meetsSpatially ?zone ?region))	Geography.kif 776-778	オブジェクト は PerimeterAreaFn 地域 の instance では %n オブジェクト は 地域 と meets %n{ない}
(=>     (orientation ?OBJ1 ?OBJ2 Surrounded)     (forall (?X)         (=>             (side ?X ?OBJ1)             (meetsSpatially ?X ?OBJ2))))	Mid-level-ontology.kif 26009-26014	自己接続オブジェクト は Surrounded 対 オブジェクト では %n 自己接続オブジェクト 自己接続オブジェクト の side は 自己接続オブジェクト では 自己接続オブジェクト は オブジェクト と meets %n{ない}
(=>     (penetrates ?X ?Y)     (meetsSpatially ?X ?Y))	Merge.kif 4215-4217	オブジェクト は オブジェクト を penetrates %n{ない} オブジェクト は オブジェクト と meets %n{ない}

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