(=>     (and         (instance ?CONDUCT MusicalConducting)         (agent ?CONDUCT ?AGENT))     (holdsDuring         (WhenFn ?CONDUCT)         (attribute ?AGENT MusicalConductor)))	Media.kif 1867-1871	工程 は MusicalConducting の instance では %n AutonomousAgent は 工程 の agent では %n MusicalConductor は AutonomousAgent の attribute では %n は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?COUNT Counting)         (agent ?COUNT ?AGENT)         (patient ?COUNT ?ENTITY))     (exists (?NUMBER)         (knows ?AGENT             (equal                 (CardinalityFn ?ENTITY) ?NUMBER))))	Merge.kif 12182-12188	工程 は 計数 の instance では %n 認識エージェント は 工程 の agent では %n エンティティー は 工程 の patient では %n エンティティー 認識エージェント は エンティティー の instances の数 は エンティティー と equal では %n を knows %n{ない}
(=>     (and         (instance ?COVERING CoveringGUIElement)         (agent ?COVERING ?GUIE_TOP)         (patient ?COVERING ?GUIE_BOTTOM)         (instance ?GUIE_TOP GUIElement)         (instance ?GUIE_BOTTOM GUIElement))     (holdsDuring         (EndFn ?COVERING)         (or             (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)             (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))	ComputerInput.kif 2597-2607	時間間隔 は CoveringGUIElement の instance では %n エンティティー_TOP は 時間間隔 の agent では %n エンティティー_BOTTOM は 時間間隔 の patient では %n エンティティー_TOP は GUIElement の instance では %n エンティティー_BOTTOM は GUIElement の instance では %n guiElementCoveredBy エンティティー_BOTTOM and エンティティー_TOP guiElementPartiallyCoveredBy エンティティー_BOTTOM and エンティティー_TOP は 時間間隔 の end の during holds %n{ない}
(=>     (and         (instance ?COVERING PartiallyCoveringGraphicalWindow)         (agent ?COVERING ?GUIE_TOP)         (patient ?COVERING ?GUIE_BOTTOM)         (instance ?GUIE_TOP GUIElement)         (instance ?GUIE_BOTTOM GUIElement))     (holdsDuring         (EndFn ?COVERING)         (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))	ComputerInput.kif 2609-2617	時間間隔 は PartiallyCoveringGraphicalWindow の instance では %n エンティティー_TOP は 時間間隔 の agent では %n エンティティー_BOTTOM は 時間間隔 の patient では %n エンティティー_TOP は GUIElement の instance では %n エンティティー_BOTTOM は GUIElement の instance では %n guiElementPartiallyCoveredBy エンティティー_BOTTOM and エンティティー_TOP は 時間間隔 の end の during holds %n{ない}
(=>     (and         (instance ?CP ChangingAccountInfo)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (accountInformation ?UA ?N1))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?N2)             (and                 (not                     (equal ?N2 ?N1))                 (accountInformation ?UA ?N2)))))	ComputingBrands.kif 4123-4135	工程 は ChangingAccountInfo の instance では %n AutonomousAgent は 工程 の agent では %n hasAccount AutonomousAgent and UserAccount accountInformation UserAccount and 命題 エンティティー エンティティー は 命題 と equal では accountInformation UserAccount and エンティティー は 工程 の time の existence の すぐ after の during holds %n{ない}
(=>     (and         (instance ?CP ChangingPassword)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (password ?P1 ?UA))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?P2)             (and                 (instance ?P2 ComputerPassword)                 (not                     (equal ?P2 ?P1))                 (password ?P2 ?UA)))))	ComputingBrands.kif 4079-4092	工程 は ChangingPassword の instance では %n AutonomousAgent は 工程 の agent では %n hasAccount AutonomousAgent and UserAccount password ComputerPassword and UserAccount エンティティー エンティティー は ComputerPassword の instance では %n エンティティー は ComputerPassword と equal では password エンティティー and UserAccount は 工程 の time の existence の すぐ after の during holds %n{ない}
(=>     (and         (instance ?CP ChangingUserName)         (agent ?CP ?A)         (hasAccount ?A ?UA)         (userName ?UA ?N1))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?N2)             (and                 (instance ?N2 UserName)                 (not                     (equal ?N2 ?N1))                 (userName ?UA ?N2)))))	ComputingBrands.kif 4101-4114	工程 は ChangingUserName の instance では %n AutonomousAgent は 工程 の agent では %n hasAccount AutonomousAgent and UserAccount userName UserAccount and UserName エンティティー エンティティー は UserName の instance では %n エンティティー は UserName と equal では userName UserAccount and エンティティー は 工程 の time の existence の すぐ after の during holds %n{ない}
(=>     (and         (instance ?CP CreatingAnAccount)         (agent ?CP ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?CP))         (exists (?UA ?P1 ?N)             (and                 (hasAccount ?A ?UA)                 (password ?P1 ?UA)                 (userName ?UA ?N)))))	ComputingBrands.kif 4143-4153	工程 は CreatingAnAccount の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー エンティティー and エンティティー hasAccount AutonomousAgent and エンティティー password エンティティー and エンティティー userName エンティティー and エンティティー は 工程 の time の existence の すぐ after の during holds %n{ない}
(=>     (and         (instance ?CREATE Creation)         (result ?CREATE ?PROP)         (instance ?PROP Proposition)         (agent ?CREATE ?AGENT))     (propositionOwner ?AGENT ?PROP))	Catalog.kif 172-178	工程 は 創造 の instance では %n 命題 は 工程 の result では %n 命題 は 命題 の instance では %n 認識エージェント は 工程 の agent では %n propositionOwner 認識エージェント and 命題
(=>     (and         (instance ?D Antidiuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (not             (equal ?U1 ?U2))         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 10082-10105	オブジェクト は Antidiuretic の instance では %n motion は 摂取 の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト 時間間隔 は Urination の instance では %n エンティティー は 時間間隔 の result では %n AutonomousAgent は 時間間隔 の agent では %n 時間間隔 は Urination の instance では %n 時間間隔 は 時間間隔 と equal では エンティティー は 時間間隔 の result では %n AutonomousAgent は 時間間隔 の agent では %n 時間間隔 は motion より earlier happens %n{ない} motion は 時間間隔 より earlier happens %n{ない} 測定単位 は UnitOfVolume の instance では %n 時間間隔 の measure は 実数 の 測定単位(s) では %n 時間間隔 の measure は 実数 の 測定単位(s) では %n ステートメント 実数 は 実数 より greater では　%n には Likely の modal force が ある
(=>     (and         (instance ?D Decelerating)         (agent ?D ?A))     (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L1 ?U1)                         (MeasureFn ?T1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L2 ?U1)                         (MeasureFn ?T2 ?U2))))             (or                 (greaterThan ?L1 ?L2)                 (greaterThan ?T1 ?T2)))))	Mid-level-ontology.kif 17198-17218	工程 は Decelerating の instance では %n AutonomousAgent は 工程 の agent では %n 実数 実数, 実数, 実数, エンティティー and エンティティー AutonomousAgent の measure は 実数 の エンティティー(s) per 実数 の エンティティー(s) では %n は 工程 の time の existence の beginning の during holds %n{ない} AutonomousAgent の measure は 実数 の エンティティー(s) per 実数 の エンティティー(s) では %n は 工程 の time の existence の end の during holds %n{ない} 実数 は 実数 より greater では　%n 実数 は 実数 より greater では　%n
(=>     (and         (instance ?D DeletingAnAccount)         (instance ?AC Account)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?D))             (hasAccount ?A ?AC))         (patient ?D ?AC)         (agent ?D ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?D))         (not             (hasAccount ?A ?AC))))	ComputingBrands.kif 4566-4576	工程 は DeletingAnAccount の instance では %n エンティティー は Account の instance では %n hasAccount AutonomousAgent and エンティティー は 工程 の time の existence の immediately before の during holds %n{ない} エンティティー は 工程 の patient では %n AutonomousAgent は 工程 の agent では %n hasAccount AutonomousAgent and エンティティー は 工程 の time の existence の すぐ after の during holds %n{ない}
(=>     (and         (instance ?D DeliveryService)         (agent ?D ?AGENT))     (capability DeliveryService agent ?AGENT))	Dining.kif 532-536	工程 は DeliveryService の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は DeliveryService を agent として行う capable では %n
(=>     (and         (instance ?D DeliveryService)         (destination ?D ?LOC1)         (deliveryRegion ?AGENT ?REGION)         (conditionalProbability             (located ?LOC1 ?REGION)             (agent ?D ?AGENT) ?NUMBER1)         (conditionalProbability             (not                 (located ?LOC1 ?REGION))             (agent ?D ?AGENT) ?NUMBER2))     (lessThan ?NUMBER2 ?NUMBER1))	Dining.kif 552-561	工程 は DeliveryService の instance では %n 工程 は エンティティー に ends %n{ない} deliveryRegion AutonomousAgent and 地理的地域 AutonomousAgent は 工程 の agent では %n が 実数 では 場合の エンティティー は 地理的地域 に located して %n の probability AutonomousAgent は 工程 の agent では %n が 実数 では 場合の エンティティー は 地理的地域 に located して の probability 実数 は 実数 より less では %n
(=>     (and         (instance ?D Demonstration)         (agent ?D ?A))     (or         (instance ?A Human)         (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2663-2669	工程 は Demonstration の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 人［人間］ の instance では %n AutonomousAgent は GroupOfPeople の instance では %n
(=>     (and         (instance ?D Demonstration)         (agent ?D ?G)         (member ?A1 ?G)         (member ?A2 ?G))     (exists (?P)         (and             (believes ?A1 ?P)             (believes ?A2 ?P))))	MilitaryProcesses.kif 2673-2682	工程 は Demonstration の instance では %n AutonomousAgent は 工程 の agent では %n 認識エージェント は AutonomousAgent の member では %n 認識エージェント は AutonomousAgent の member では %n 公式 認識エージェント は 公式 を believes %n{ない} 認識エージェント は 公式 を believes %n{ない}
(=>     (and         (instance ?D Dismounting)         (agent ?D ?A)         (patient ?D ?O))     (and         (holdsDuring             (BeginFn                 (WhenFn ?D))             (orientation ?A ?O On))         (holdsDuring             (EndFn                 (WhenFn ?D))             (not                 (orientation ?A ?O On)))))	Mid-level-ontology.kif 20030-20042	工程 は Dismounting の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n AutonomousAgent は On 対 エンティティー では %n は 工程 の time の existence の beginning の during holds %n{ない} AutonomousAgent は On 対 エンティティー では は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?D Diuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 10052-10073	オブジェクト は Diuretic の instance では %n motion は 摂取 の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト 時間間隔 は Urination の instance では %n エンティティー は 時間間隔 の result では %n AutonomousAgent は 時間間隔 の agent では %n 時間間隔 は Urination の instance では %n エンティティー は 時間間隔 の result では %n AutonomousAgent は 時間間隔 の agent では %n 時間間隔 は motion より earlier happens %n{ない} motion は 時間間隔 より earlier happens %n{ない} 測定単位 は UnitOfVolume の instance では %n 時間間隔 の measure は 実数 の 測定単位(s) では %n 時間間隔 の measure は 実数 の 測定単位(s) では %n ステートメント 実数 は 実数 より greater では　%n には Likely の modal force が ある
(=>     (and         (instance ?D Dodging)         (agent ?D ?A)         (equal ?DT             (WhenFn ?D)))     (hasPurpose ?D         (not             (exists (?I)                 (and                     (or                         (meetsTemporally ?DT                             (WhenFn ?I))                         (overlapsTemporally ?DT                             (WhenFn ?I)))                     (instance ?I Impacting)                     (patient ?I ?A))))))	Mid-level-ontology.kif 443-456	工程 は Dodging の instance では %n AutonomousAgent は 工程 の agent では %n 工程T は 工程 の time の existence と equal では %n 工程 は エンティティー 工程T は エンティティー の time の existence に meets %n{ない} エンティティー の time の existence は 工程T と overlaps %n{dない} エンティティー は 衝撃 の instance では %n AutonomousAgent は エンティティー の patient では %n の 目的 %n{ない}
(=>     (and         (instance ?DAMAGE Damaging)         (agent ?DAMAGE ?PROP)         (destination ?DAMAGE ?DEST)         (instance ?DEST CognitiveAgent))     (believes ?DEST         (attribute ?PROP Dangerous)))	MilitaryPersons.kif 228-235	工程 は 損害を与える の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 認識エージェント に ends %n{ない} 認識エージェント は 認識エージェント の instance では %n 認識エージェント は Dangerous は AutonomousAgent の attribute では %n を believes %n{ない}
(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?A)         (patient ?DECIDE ?S)         (instance ?S Set)         (result ?DECIDE ?X)         (instance ?X ContentBearingPhysical))     (containsFormula ?X         (holdsDuring             (FutureFn                 (WhenFn ?DECIDE))             (exists (?M)                 (and                     (element ?M ?S)                     (instance ?M IntentionalProcess)                     (agent ?M ?A))))))	Merge.kif 12092-12108	工程 は Deciding の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n エンティティー は セット の instance では %n ContentBearingPhysical は 工程 の result では %n ContentBearingPhysical は ContentBearingPhysical の instance では %n containsFormula ContentBearingPhysical and エンティティー エンティティー は エンティティー の element %n エンティティー は 意図的なプロセス の instance では %n AutonomousAgent は エンティティー の agent では %n は 工程 の time の existence の after の during holds %n{ない}
(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?AGENT)         (instance ?S Set)         (patient ?DECIDE ?S)         (element ?M ?S))     (believes ?AGENT         (exists (?CLASS)             (and                 (instance ?M ?CLASS)                 (subclass ?CLASS IntentionalProcess)                 (capability ?CLASS agent ?AGENT)))))	Merge.kif 12060-12072	工程 は Deciding の instance では %n 認識エージェント は 工程 の agent では %n セット は セット の instance では %n セット は 工程 の patient では %n エンティティー は セット の element %n 認識エージェント は エンティティー エンティティー は エンティティー の instance では %n エンティティー は 意図的なプロセス の subclass では %n 認識エージェント は エンティティー を agent として行う capable では %n を believes %n{ない}
(=>     (and         (instance ?DEFENSE DefensiveManeuver)         (agent ?DEFENSE ?AGENT))     (hasPurposeForAgent ?DEFENSE         (not             (exists (?DAMAGE)                 (and                     (instance ?DAMAGE Damaging)                     (patient ?DAMAGE ?AGENT)))) ?AGENT))	Merge.kif 13477-13486	工程 は DefensiveManeuver の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は AutonomousAgent の 目的 エンティティー エンティティー は 損害を与える の instance では %n AutonomousAgent は エンティティー の patient では %n %n{ない}
(=>     (and         (instance ?DESTR PreciseDestruction)         (agent ?DESTR ?AGENT))     (exists (?WEAPON)         (and             (possesses ?AGENT ?WEAPON)             (instrument ?DESTR ?WEAPON)             (instance ?WEAPON HighPrecisionWeapon))))	MilitaryProcesses.kif 601-609	工程 は PreciseDestruction の instance では %n AutonomousAgent は 工程 の agent では %n オブジェクト AutonomousAgent は オブジェクト を possesses %n{ない} オブジェクト は 工程 の instrument では %n オブジェクト は HighPrecisionWeapon の instance では %n
(=>     (and         (instance ?DIGEST Digesting)         (agent ?DIGEST ?ORGANISM))     (exists (?INGEST)         (and             (instance ?INGEST Ingesting)             (agent ?INGEST ?ORGANISM)             (overlapsTemporally                 (WhenFn ?INGEST)                 (WhenFn ?DIGEST)))))	Merge.kif 10325-10333	工程 は Digesting の instance では %n AutonomousAgent は 工程 の agent では %n 工程 工程 は 摂取 の instance では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 工程 の time の existence と overlaps %n{dない}
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