(=>     (instance ?SVC ShuttleService)     (modalAttribute         (exists (?GRP1 ?GRP2)             (and                 (instance ?GRP1 GroupOfPeople)                 (instance ?GRP2 GroupOfPeople)                 (patient ?SVC ?GRP1)                 (patient ?SVC ?GRP2)                 (not                     (equal ?GRP1 ?GRP2)))) Possibility))	Hotel.kif 2055-2064	エンティティー は ShuttleService の instance では %n ステートメント エンティティー エンティティー エンティティー は GroupOfPeople の instance では %n エンティティー は GroupOfPeople の instance では %n エンティティー は エンティティー の patient では %n エンティティー は エンティティー の patient では %n エンティティー は エンティティー と equal では には Possibility の modal force が ある
(=>     (instance ?VIDEO VideoRecording)     (modalAttribute         (exists (?AUDIO)             (and                 (instance ?AUDIO AudioRecording)                 (part ?AUDIO ?VIDEO))) Possibility))	Mid-level-ontology.kif 14441-14447	エンティティー は VideoRecording の instance では %n ステートメント エンティティー エンティティー は AudioRecording の instance では %n エンティティー は エンティティー の part では %n には Possibility の modal force が ある
(=>     (instance ?X DoubleBed)     (modalAttribute         (exists (?P1 ?P2 ?TIME)             (and                 (not                     (equal ?P1 ?P2))                 (instance ?P1 Human)                 (instance ?P2 Human)                 (holdsDuring ?TIME                     (and                         (attribute ?P1 Asleep)                         (attribute ?P2 Asleep)                         (located ?P1 ?X)                         (located ?P2 ?X))))) Possibility))	Mid-level-ontology.kif 3847-3860	エンティティー は DoubleBed の instance では %n ステートメント エンティティー エンティティー and エンティティー エンティティー は エンティティー と equal では エンティティー は 人［人間］ の instance では %n エンティティー は 人［人間］ の instance では %n 眠っている は エンティティー の attribute では %n 眠っている は エンティティー の attribute では %n エンティティー は エンティティー に located して %n エンティティー は エンティティー に located して %n は エンティティー の during holds %n{ない} には Possibility の modal force が ある
(=>     (instance ?X HotelFunctionRoom)     (modalAttribute         (exists (?MTG)             (and                 (instance ?MTG FormalMeeting)                 (located ?MTG ?X))) Possibility))	Hotel.kif 1706-1712	エンティティー は HotelFunctionRoom の instance では %n ステートメント エンティティー エンティティー は FormalMeeting の instance では %n エンティティー は エンティティー に located して %n には Possibility の modal force が ある
(=>     (instance ?X KingBed)     (modalAttribute         (exists (?P1 ?P2 ?P3 ?TIME)             (and                 (not                     (equal ?P1 ?P2))                 (not                     (equal ?P2 ?P3))                 (not                     (equal ?P1 ?P3))                 (attribute ?P1 Asleep)                 (attribute ?P2 Asleep)                 (attribute ?P3 Asleep)                 (instance ?P1 Human)                 (instance ?P2 Human)                 (instance ?P3 Human)                 (holdsDuring ?TIME                     (and                         (located ?P1 ?X)                         (located ?P2 ?X)                         (located ?P3 ?X))))) Possibility))	Mid-level-ontology.kif 3790-3808	エンティティー は KingBed の instance では %n ステートメント エンティティー エンティティー, エンティティー and エンティティー エンティティー は エンティティー と equal では エンティティー は エンティティー と equal では エンティティー は エンティティー と equal では 眠っている は エンティティー の attribute では %n 眠っている は エンティティー の attribute では %n 眠っている は エンティティー の attribute では %n エンティティー は 人［人間］ の instance では %n エンティティー は 人［人間］ の instance では %n エンティティー は 人［人間］ の instance では %n エンティティー は エンティティー に located して %n エンティティー は エンティティー に located して %n エンティティー は エンティティー に located して %n は エンティティー の during holds %n{ない} には Possibility の modal force が ある
(=>     (instance ?X OperatorAssistedTelephoneCommunication)     (exists (?ORIGIN ?DEST ?OPERATOR)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (instance ?OPERATOR Human)             (hasPurpose ?OPERATOR                 (exists (?PROC)                     (and                         (instance ?PROC IntentionalProcess)                         (agent ?PROC ?OPERATOR)                         (subProcess ?PROC ?X)                         (holdsDuring                             (ImmediateFutureFn                                 (WhenFn ?PROC))                             (modalAttribute                                 (exists (?COMM)                                     (and                                         (instance ?COMM Communication)                                         (origin ?COMM ?ORIGIN)                                         (destination ?COMM ?DEST))) Possibility))))))))	Mid-level-ontology.kif 27047-27069	工程 は OperatorAssistedTelephoneCommunication の instance では %n オブジェクト エンティティー and 物理 工程 は オブジェクト から originates %n{ない} 工程 は エンティティー に ends %n{ない} 物理 は 人［人間］ の instance では %n 物理 は エンティティー エンティティー は 意図的なプロセス の instance では %n 物理 は エンティティー の agent では %n エンティティー は 工程% の subprocess では %n ステートメント エンティティー エンティティー は コミュニケーション の instance では %n エンティティー は オブジェクト から originates %n{ない} エンティティー は エンティティー に ends %n{ない} には Possibility の modal force が ある は エンティティー の time の existence の すぐ after の during holds %n{ない} の 目的 %n{ない}
(=>     (instance ?X QueenBed)     (modalAttribute         (exists (?P1 ?P2 ?TIME)             (and                 (not                     (equal ?P1 ?P2))                 (instance ?P1 Human)                 (instance ?P2 Human)                 (holdsDuring ?TIME                     (and                         (attribute ?P1 Asleep)                         (attribute ?P2 Asleep)                         (located ?P1 ?X)                         (located ?P2 ?X))))) Possibility))	Mid-level-ontology.kif 3821-3834	エンティティー は QueenBed の instance では %n ステートメント エンティティー エンティティー and エンティティー エンティティー は エンティティー と equal では エンティティー は 人［人間］ の instance では %n エンティティー は 人［人間］ の instance では %n 眠っている は エンティティー の attribute では %n 眠っている は エンティティー の attribute では %n エンティティー は エンティティー に located して %n エンティティー は エンティティー に located して %n は エンティティー の during holds %n{ない} には Possibility の modal force が ある
(=>     (instance ?X Recliner)     (modalAttribute         (exists (?INCLINE)             (and                 (instance ?INCLINE Inclining)                 (patient ?INCLINE ?X))) Possibility))	Mid-level-ontology.kif 26197-26203	エンティティー は Recliner の instance では %n ステートメント エンティティー エンティティー は Inclining の instance では %n エンティティー は エンティティー の patient では %n には Possibility の modal force が ある
(=>     (instance ?X RewritableDataStorage)     (and         (modalAttribute             (exists (?WRITE1 ?DATA1)                 (and                     (instance ?WRITE1 Writing)                     (patient ?WRITE1 ?X)                     (patient ?WRITE1 ?DATA1)                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?WRITE1))                         (stored ?DATA1 ?X)))) Possibility)         (modalAttribute             (exists (?WRITE2 ?DATA2)                 (and                     (stored ?DATA2 ?X)                     (or                         (instance ?WRITE2 ContentDevelopment)                         (instance ?WRITE2 DeletingData))                     (not                         (equal ?WRITE1 ?WRITE2))                     (patient ?WRITE2 ?DATA2))) Possibility)))	Media.kif 741-763	エンティティー は RewritableDataStorage の instance では %n ステートメント エンティティー エンティティー エンティティー は 執筆 の instance では %n エンティティー は エンティティー の patient では %n エンティティー は エンティティー の patient では %n stored エンティティー and エンティティー は エンティティー の time の existence の すぐ after の during holds %n{ない} には Possibility の modal force が ある ステートメント エンティティー エンティティー stored エンティティー and エンティティー エンティティー は コンテンツ開発 の instance では %n エンティティー は DeletingData の instance では %n エンティティー は エンティティー と equal では エンティティー は エンティティー の patient では %n には Possibility の modal force が ある
(=>     (instance ?X SeatBelt)     (hasPurpose ?X         (exists (?PERSON ?STOP ?VEHICLE ?M)             (and                 (instance ?VEHICLE Vehicle)                 (part ?X ?VEHICLE)                 (instance ?PERSON Human)                 (contains ?VEHICLE ?PERSON)                 (instance ?STOP Process)                 (prevents ?STOP                     (KappaFn ?M                         (and                             (instance ?M Translocation)                             (patient ?M ?PERSON)                             (exists (?COLLISION)                                 (and                                     (or                                         (instance ?COLLISION Decelerating)                                         (instance ?COLLISION Impacting))                                     (experiencer ?COLLISION ?VEHICLE)                                     (causes ?COLLISION ?M)))                             (modalAttribute                                 (exists (?INJ ?IMP)                                     (and                                         (instance ?INJ Injuring)                                         (instance ?IMP Impacting)                                         (causes ?M ?INJ)                                         (patient ?INJ ?PERSON)                                         (subProcess ?IMP ?INJ))) Possibility))))))))	Cars.kif 3675-3704	物理 は SeatBelt の instance では %n 物理 は エンティティー エンティティー, エンティティー and エンティティー エンティティー は Vehicle の instance では %n 物理 は エンティティー の part では %n エンティティー は 人［人間］ の instance では %n エンティティー は エンティティー を contains %n{ない} エンティティー は 工程 の instance では %n エンティティー は エンティティーで記述される class の出来事を prevents %n{ない} の 目的 %n{ない}
(=>     (instance ?X WriteOnceDataStorage)     (and         (modalAttribute             (exists (?WRITE1 ?DATA1)                 (and                     (instance ?WRITE1 Writing)                     (patient ?WRITE1 ?X)                     (patient ?WRITE1 ?DATA1)                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?WRITE1))                         (stored ?DATA1 ?X)))) Possibility)         (not             (modalAttribute                 (exists (?WRITE2 ?DATA2)                     (and                         (stored ?DATA2 ?X)                         (or                             (instance ?WRITE2 ContentDevelopment)                             (instance ?WRITE2 DeletingData))                         (not                             (equal ?WRITE1 ?WRITE2))                         (patient ?WRITE2 ?DATA2))) Possibility))))	Media.kif 713-736	エンティティー は WriteOnceDataStorage の instance では %n ステートメント エンティティー エンティティー エンティティー は 執筆 の instance では %n エンティティー は エンティティー の patient では %n エンティティー は エンティティー の patient では %n stored エンティティー and エンティティー は エンティティー の time の existence の すぐ after の during holds %n{ない} には Possibility の modal force が ある ステートメント エンティティー エンティティー stored エンティティー and エンティティー エンティティー は コンテンツ開発 の instance では %n エンティティー は DeletingData の instance では %n エンティティー は エンティティー と equal では エンティティー は エンティティー の patient では %n には Possibility の modal force が ない %p{ある}
(=>     (instance ?Y SulphurDioxide)     (modalAttribute         (exists (?D ?P)             (and                 (instance ?D Damaging)                 (instance ?P Human)                 (instrument ?D ?Y)                 (patient ?D ?P))) Possibility))	Geography.kif 7189-7197	エンティティー は SulphurDioxide の instance では %n ステートメント エンティティー エンティティー エンティティー は 損害を与える の instance では %n エンティティー は 人［人間］ の instance では %n エンティティー は エンティティー の instrument では %n エンティティー は エンティティー の patient では %n には Possibility の modal force が ある
(=>     (loggedInDuring ?A ?UA ?T)     (modalAttribute         (holdsDuring ?T             (exists (?P ?C)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?A)                     (deviceAccount ?UA ?C)                     (instance ?C Computer)                     (computerRunning ?P ?C)                     (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 4347-4358	loggedInDuring AutonomousAgent, UserAccount and 時間間隔 ステートメント エンティティー エンティティー エンティティー は ComputerProcess の instance では %n AutonomousAgent は エンティティー の agent では %n deviceAccount UserAccount and エンティティー エンティティー は Computer の instance では %n computerRunning エンティティー and エンティティー エンティティー は エンティティー の instrument では %n は 時間間隔 の during holds %n{ない} には Possibility の modal force が ある
(=>     (modalAttribute ?FORMULA Necessity)     (modalAttribute ?FORMULA Possibility))	Merge.kif 17420-17422	ステートメント 公式 には Necessity の modal force が ある ステートメント 公式 には Possibility の modal force が ある
(=>     (modalAttribute ?FORMULA Permission)     (modalAttribute ?FORMULA Possibility))	Merge.kif 17318-17320	ステートメント 公式 には Permission の modal force が ある ステートメント 公式 には Possibility の modal force が ある
(=>     (parasitic ?O1 ?O2)     (exists (?I1 ?I2)         (modalAttribute             (and                 (instance ?I1 ?O1)                 (instance ?I2 ?O2)                 (parasite ?I1 ?I2)) Possibility)))	WMD.kif 2007-2015	parasitic 物 and 物 エンティティー エンティティー ステートメント エンティティー は 物 の instance では %n エンティティー は 物 の instance では %n parasite エンティティー and エンティティー には Possibility の modal force が ある
(=>     (pathologyCandidate ?H ?D)     (exists (?DOC ?DI)         (and             (instance ?DI ?D)             (believes ?DOC                 (modalAttribute                     (experiencer ?D ?H) Possibility)))))	Medicine.kif 1954-1962	pathologyCandidate 人［人間］ and 病理学的プロセス 病理学的プロセスOC 病理学的プロセスI 病理学的プロセスI は 病理学的プロセス の instance では %n 病理学的プロセスOC は ステートメント 人［人間］ が 病理学的プロセス を experiences %n{ない} には Possibility の modal force が ある を believes %n{ない}
(=>     (patient ?RAIN AcidRainfall)     (modalAttribute         (exists (?D ?O ?X ?L)             (and                 (instance ?D Damaging)                 (causes ?RAIN ?D)                 (instrument ?D ?RAIN)                 (instance ?O Organism)                 (instance ?X StationaryArtifact)                 (instance ?L Outdoors)                 (located ?X ?L)                 (located ?O ?L)                 (or                     (patient ?D ?O)                     (patient ?D ?X)))) Possibility))	Geography.kif 2519-2534	AcidRainfall は 工程 の patient では %n ステートメント エンティティー エンティティー, エンティティー and エンティティー エンティティー は 損害を与える の instance では %n 工程 は エンティティー を causes %n{ない} 工程 は エンティティー の instrument では %n エンティティー は 物 の instance では %n エンティティー は 固定アーチファクト の instance では %n エンティティー は Outdoors の instance では %n エンティティー は エンティティー に located して %n エンティティー は エンティティー に located して %n エンティティー は エンティティー の patient では %n エンティティー は エンティティー の patient では %n には Possibility の modal force が ある
(=>     (potentialCustomer ?CUST ?AGENT)     (modalAttribute         (customer ?CUST ?AGENT) Possibility))	Dining.kif 819-822	potentialCustomer 認識エージェント and AutonomousAgent ステートメント customer 認識エージェント and AutonomousAgent には Possibility の modal force が ある
(=>     (providesDestination ?TC ?REG)     (modalAttribute         (exists (?SVC)             (and                 (instance ?SVC TransportationService)                 (serviceProvider ?SVC ?TC)                 (destination ?SVC ?REG))) Possibility))	Transportation.kif 3401-3408	providesDestination TransportationCompany and 地域 ステートメント エンティティー エンティティー は TransportationService の instance では %n TransportationCompany は エンティティー の間サービスを provides %n{ない} エンティティー は 地域 に ends %n{ない} には Possibility の modal force が ある
(=>     (releaseForSale ?OBJ ?AREA ?TIME)     (holdsDuring         (ImmediateFutureFn ?TIME)         (modalAttribute             (exists (?O ?B)                 (and                     (instance ?O ?OBJ)                     (instance ?B Buying)                     (eventLocated ?B ?AREA)                     (patient ?B ?O))) Possibility)))	Music.kif 1499-1509	releaseForSale オブジェクト, 地理的地域 and 時点 ステートメント エンティティー エンティティー エンティティー は オブジェクト の instance では %n エンティティー は 購買 の instance では %n eventLocated エンティティー and 地理的地域 エンティティー は エンティティー の patient では %n には Possibility の modal force が ある は 時点 の すぐ after の during holds %n{ない}
(=>     (roomAmenity ?ROOM MotionPicture)     (exists (?R ?MS ?MP)         (and             (instance ?R ?ROOM)             (instance ?MS MediaSystem)             (located ?MS ?R)             (instance ?MP MotionPicture)             (modalAttribute                 (exists (?RL)                     (and                         (instance ?RL RadiatingLight)                         (instrument ?RL ?MS)                         (patient ?RL ?MP))) Possibility))))	Hotel.kif 1506-1519	roomAmenity HotelUnit and 映画 オブジェクト 物理 and エンティティー オブジェクト は HotelUnit の instance では %n 物理 は MediaSystem の instance では %n 物理 は オブジェクト に located して %n エンティティー は 映画 の instance では %n ステートメント オブジェクトL オブジェクトL は 放射光 の instance では %n 物理 は オブジェクトL の instrument では %n エンティティー は オブジェクトL の patient では %n には Possibility の modal force が ある
(=>     (trusts ?A1 ?A2 ?P)     (believes ?A1         (modalAttribute             (exists (?PI)                 (and                     (instance ?PI ?P)                     (agent ?PI ?A2))) Possibility)))	Law.kif 390-398	trusts 認識エージェント, AutonomousAgent and 意図的なプロセス 認識エージェント は ステートメント 意図的なプロセスI 意図的なプロセスI は 意図的なプロセス の instance では %n AutonomousAgent は 意図的なプロセスI の agent では %n には Possibility の modal force が ある を believes %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