(=>     (equipmentType ?O ?T)     (exists (?D)         (and             (instance ?D ?T)             (or                 (part ?D ?O)                 (connected ?D ?O)))))	Mid-level-ontology.kif 25989-25996	equipmentType アーチファクト and デバイス オブジェクト オブジェクト は デバイス の instance では オブジェクト は アーチファクト の part では オブジェクト は アーチファクト と connected して
(=>     (flows ?FLUID1 ?FLUID2)     (connected ?FLUID1 ?FLUID2))	Geography.kif 5745-5747	flows オブジェクト and オブジェクト オブジェクト は オブジェクト と connected して
(=>     (hole ?HOLE ?OBJ)     (connected ?HOLE ?OBJ))	Merge.kif 10073-10075	HoleRegion は 自己接続オブジェクト の hole では HoleRegion は 自己接続オブジェクト と connected して
(=>     (instance ?F Fireplace)     (exists (?C)         (and             (instance ?C Chimney)             (connected ?F ?C))))	Mid-level-ontology.kif 16739-16744	オブジェクト は Fireplace の instance では オブジェクト オブジェクト は Chimney の instance では オブジェクト は オブジェクト と connected して
(=>     (instance ?GULF Gulf)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (connected ?GULF ?SEA))))	Geography.kif 5383-5390	オブジェクト は Gulf の instance では オブジェクト オブジェクト は Sea の instance では オブジェクト は Ocean の instance では オブジェクト は オブジェクト と connected して
(=>     (instance ?INLET Inlet)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (connected ?INLET ?WATER))))	Geography.kif 5523-5528	オブジェクト は Inlet の instance では オブジェクト オブジェクト は 水域 の instance では オブジェクト は オブジェクト と connected して
(=>     (instance ?LABEL Label)     (exists (?OBJ)         (and             (instance ?OBJ SelfConnectedObject)             (connected ?LABEL ?OBJ)             (refers ?LABEL ?OBJ))))	Mid-level-ontology.kif 15848-15854	オブジェクト は Label の instance では オブジェクト オブジェクト は 自己接続オブジェクト の instance では オブジェクト は オブジェクト と connected して オブジェクト は オブジェクト への reference を includes
(=>     (instance ?NA NetworkAdapter)     (exists (?Net)         (and             (instance ?Net ComputerNetwork)             (connected ?NA ?Net))))	QoSontology.kif 940-945	オブジェクト は NetworkAdapter の instance では オブジェクト オブジェクト は ComputerNetwork の instance では オブジェクト は オブジェクト と connected して
(=>     (instance ?NECK Neck)     (exists (?HEAD)         (and             (instance ?HEAD Head)             (connected ?NECK ?HEAD))))	Mid-level-ontology.kif 14206-14211	オブジェクト は Neck の instance では オブジェクト オブジェクト は Head の instance では オブジェクト は オブジェクト と connected して
(=>     (instance ?NOSE Nose)     (exists (?N1 ?N2)         (and             (instance ?N1 Nostril)             (instance ?N2 Nostril)             (not                 (equal ?N1 ?N2))             (connected ?N1 ?NOSE)             (connected ?N2 ?NOSE))))	Mid-level-ontology.kif 12648-12656	オブジェクト は Nose の instance では オブジェクト オブジェクト オブジェクト は Nostril の instance では オブジェクト は Nostril の instance では equal オブジェクト and オブジェクト オブジェクト は オブジェクト と connected して オブジェクト は オブジェクト と connected して
(=>     (instance ?PORCH Porch)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 17017-17022	オブジェクト は Porch の instance では オブジェクト オブジェクト は 建物 の instance では オブジェクト は オブジェクト と connected して
(=>     (instance ?SAIL Sail)     (exists (?MAST)         (and             (material Fabric ?SAIL)             (instance ?MAST Mast)             (connected ?SAIL ?MAST))))	Mid-level-ontology.kif 28246-28252	微粒子オブジェクト は Sail の instance では オブジェクト 布（地） は 微粒子オブジェクト で made オブジェクト は Mast の instance では 微粒子オブジェクト は オブジェクト と connected して
(=>     (instance ?SHOWER Shower)     (exists (?X ?FLOOR)         (and             (or                 (instance ?X Wall)                 (instance ?X Ceiling))             (connected ?SHOWER ?X)             (instance ?FLOOR Floor)             (orientation ?SHOWER ?FLOOR Above))))	Mid-level-ontology.kif 2500-2509	オブジェクト は Shower の instance では オブジェクト オブジェクト オブジェクト は Wall の instance では オブジェクト は Ceiling の instance では オブジェクト は オブジェクト と connected して オブジェクト は Floor の instance では オブジェクト は Above 対 オブジェクト では
(=>     (instance ?SL SalineLock)     (hasPurpose ?SL         (exists (?IVL)             (and                 (instance ?IVL IVLine)                 (connected ?SL ?IVL)))))	Medicine.kif 1105-1111	物理 は SalineLock の instance では 物理 は エンティティー エンティティー は IVLine の instance では 物理 は エンティティー と connected して の 目的
(=>     (instance ?SYSTEM RiverSystem)     (exists (?RIVER ?STATIC)         (and             (instance ?RIVER River)             (part ?RIVER ?SYSTEM)             (instance ?STATIC StaticWaterArea)             (connected ?RIVER ?STATIC))))	Geography.kif 5827-5834	オブジェクト は RiverSystem の instance では オブジェクト オブジェクト オブジェクト は River の instance では オブジェクト は オブジェクト の part では オブジェクト は 静水域 の instance では オブジェクト は オブジェクト と connected して
(=>     (instance ?T Trachea)     (exists (?TH)         (and             (instance ?TH Throat)             (connected ?TH ?T))))	Mid-level-ontology.kif 13071-13076	オブジェクト は Trachea の instance では オブジェクトH オブジェクトH は Throat の instance では オブジェクトH は オブジェクト と connected して
(=>     (instance ?THROAT Throat)     (exists (?MOUTH)         (and             (instance ?MOUTH Mouth)             (connected ?THROAT ?MOUTH))))	Mid-level-ontology.kif 13058-13063	オブジェクト は Throat の instance では オブジェクト オブジェクト は Mouth の instance では オブジェクト は オブジェクト と connected して
(=>     (instance ?TT TractorTrailer)     (exists (?TRAC ?TRAIL)         (and             (instance ?TRAC TruckTractor)             (instance ?TRAIL TruckTrailer)             (part ?TRAC ?TT)             (part ?TRAIL ?TT)             (connected ?TRAC ?TRAIL))))	Transportation.kif 1971-1979	オブジェクト は TractorTrailer の instance では オブジェクト オブジェクト オブジェクト は TruckTractor の instance では オブジェクト は TruckTrailer の instance では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と connected して
(=>     (instance ?WATER Estuary)     (exists (?SEA)         (and             (instance ?SEA SaltWaterArea)             (part ?SEA WorldOcean)             (connected ?SEA ?WATER))))	Geography.kif 5478-5484	オブジェクト は Estuary の instance では オブジェクト オブジェクト は 塩水地域 の instance では オブジェクト は WorldOcean の part では オブジェクト は オブジェクト と connected して
(=>     (instance ?X CarBombing)     (exists (?BOMB ?CAR)         (and             (instance ?BOMB Bomb)             (instance ?CAR TransportationDevice)             (instrument ?X ?CAR)             (instrument ?X ?BOMB)             (connected ?CAR ?BOMB))))	Mid-level-ontology.kif 23481-23489	工程 は CarBombing の instance では オブジェクト オブジェクト オブジェクト は Bomb の instance では オブジェクト は 輸送機 の instance では オブジェクト は 工程 の instrument では オブジェクト は 工程 の instrument では オブジェクト は オブジェクト と connected して
(=>     (instance ?X FuelCapLock)     (hasPurpose ?X         (exists (?TANK ?HOLE ?T)             (and                 (instance ?TANK GasTank)                 (hole ?HOLE ?TANK)                 (decreasesLikelihood                     (holdsDuring ?T                         (and                             (connected ?X ?HOLE)                             (attribute ?X Locked)))                     (holdsDuring ?T                         (exists (?STEAL ?FUEL)                             (and                                 (instance ?STEAL Stealing)                                 (instance ?FUEL Fuel)                                 (located ?FUEL ?TANK)                                 (patient ?STEAL ?FUEL)))))))))	Cars.kif 1016-1034	物理 は FuelCapLock の instance では 物理 は エンティティー エンティティー and エンティティー エンティティー は GasTank の instance では エンティティー は エンティティー の hole では 物理 は エンティティー と connected して Locked は 物理 の attribute では は エンティティー の during holds は エンティティー エンティティー エンティティー は Stealing の instance では エンティティー は Fuel の instance では エンティティー は エンティティー に located して エンティティー は エンティティー の patient では は エンティティー の during holds を decreases 可能性がある の 目的
(=>     (instance ?X GrabBar)     (and         (exists (?WALL)             (and                 (instance ?WALL Wall)                 (connected ?X ?WALL)))         (hasPurpose ?X             (exists (?GRAB)                 (and                     (instance ?GRAB Grabbing)                     (instrument ?GRAB ?X))))))	Mid-level-ontology.kif 28381-28392	オブジェクト は GrabBar の instance では オブジェクト オブジェクト は Wall の instance では オブジェクト は オブジェクト と connected して オブジェクト は エンティティー エンティティー は Grabbing の instance では オブジェクト は エンティティー の instrument では の 目的
(=>     (instance ?X Hammock)     (and         (material Fabric ?X)         (exists (?POLE1 ?POLE2 ?GROUND)             (and                 (orientation ?POLE1 ?POLE2 Near)                 (connected ?POLE1 ?X)                 (connected ?POLE2 ?X)                 (instance ?GROUND LandArea)                 (located ?X ?GROUND)                 (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 4401-4412	微粒子オブジェクト は Hammock の instance では 布（地） は 微粒子オブジェクト で made オブジェクト オブジェクト and オブジェクト オブジェクト は Near 対 オブジェクト では オブジェクト は 微粒子オブジェクト と connected して オブジェクト は 微粒子オブジェクト と connected して オブジェクト は 土地面積 の instance では 微粒子オブジェクト は オブジェクト に located して 微粒子オブジェクト は Above 対 オブジェクト では
(=>     (instance ?X MultimediaProjector)     (hasPurpose ?X         (exists (?RS ?SCREEN ?VIDEO)             (and                 (instance ?RS RadiatingLight)                 (instrument ?RS ?X)                 (patient ?RS ?VIDEO)                 (or                     (instance ?VIDEO VideoRecording)                     (instance ?VIDEO Image))                 (destination ?RS ?SCREEN)                 (instance ?SCREEN Artifact)                 (attribute ?SCREEN Flat)                 (not                     (connected ?X ?SCREEN))))))	Mid-level-ontology.kif 28128-28142	物理 は MultimediaProjector の instance では 物理 は エンティティー エンティティー and エンティティー エンティティー は 放射光 の instance では 物理 は エンティティー の instrument では エンティティー は エンティティー の patient では エンティティー は VideoRecording の instance では エンティティー は Image の instance では エンティティー は エンティティー に ends エンティティー は アーチファクト の instance では Flat は エンティティー の attribute では 物理 は エンティティー と connected して の 目的
(=>     (instance ?X TapeRecorder)     (hasPurpose ?X         (exists (?AUDIO ?TAPE ?PROC)             (and                 (instance ?PROC IntentionalProcess)                 (instrument ?PROC ?X)                 (result ?PROC ?AUDIO)                 (instance ?AUDIO AudioRecording)                 (instance ?TAPE RecordingTape)                 (holdsDuring ?PROC                     (connected ?TAPE ?X))                 (before                     (BeginFn                         (WhenFn ?PROC))                     (BeginFn                         (WhenFn                             (part ?AUDIO ?TAPE))))))))	Media.kif 1338-1352	物理 は TapeRecorder の instance では 物理 は エンティティー エンティティー and エンティティー エンティティー は 意図的なプロセス の instance では 物理 は エンティティー の instrument では エンティティー は エンティティー の result では エンティティー は AudioRecording の instance では エンティティー は RecordingTape の instance では エンティティー は 物理 と connected して は エンティティー の during holds エンティティー の time の existence の beginning は エンティティー は エンティティー の part では の time の existence の beginning の before に happens の 目的
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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