(=>     (and         (instance ?ATC AddToCart)         (instance ?USER AutonomousAgent)         (instance ?OBJ Object)         (agent ?ATC ?USER)         (patient ?ATC ?OBJ))     (desires ?USER         (exists (?BUYING)             (and                 (instance ?BUYING Buying)                 (patient ?BUYING ?OBJ)                 (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 1312-1324	工程 は AddToCart の instance では 認識エージェント は AutonomousAgent の instance では エンティティー は オブジェクト の instance では 認識エージェント は 工程 の agent では エンティティー は 工程 の patient では 認識エージェント が エンティティー エンティティー は 購買 の instance では エンティティー は エンティティー の patient では 認識エージェント は エンティティー の agent では を desires
(=>     (and         (instance ?ATTACK Attack)         (agent ?ATTACK ?AGENT)         (patient ?ATTACK ?OBJ))     (hasPurposeForAgent ?ATTACK         (exists (?DAMAGE)             (and                 (instance ?DAMAGE Damaging)                 (patient ?DAMAGE ?OBJ))) ?AGENT))	Merge.kif 13563-13572	工程 は Attack の instance では AutonomousAgent は 工程 の agent では エンティティー は 工程 の patient では 工程 は AutonomousAgent の 目的 エンティティー エンティティー は 損害を与える の instance では エンティティー は エンティティー の patient では
(=>     (and         (instance ?AVU AngryVoiceUtterance)         (agent ?AVU ?A))     (modalAttribute         (causesProposition             (exists (?ANG)                 (and                     (instance ?ANG Anger)                     (experiencer ?ANG ?A)))             (and                 (instance ?AVU AngryVoiceUtterance)                 (agent ?AVU ?A))) Likely))	emotion.kif 1945-1958	工程 は AngryVoiceUtterance の instance では AutonomousAgent は 工程 の agent では ステートメント causesProposition AutonomousAgentNG AutonomousAgentNG は Anger の instance では AutonomousAgent が AutonomousAgentNG を experiences and 工程 は AngryVoiceUtterance の instance では AutonomousAgent は 工程 の agent では には Likely の modal force が ある
(=>     (and         (instance ?AWARD LegalAward)         (refers ?AWARD ?ACTION)         (instance ?ACTION LegalAction)         (agent ?ACTION ?PLAINTIFF))     (confersRight         (exists (?GET ?OBJ ?VALUE)             (and                 (instance ?GET Getting)                 (experiencer ?GET ?PLAINTIFF)                 (patient ?GET ?OBJ)                 (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))	Mid-level-ontology.kif 17587-17599	エンティティー は LegalAward の instance では エンティティー は 工程 への reference を includes 工程 は 訴訟 の instance では 認識エージェント は 工程 の agent では エンティティー は 認識エージェント が エンティティー エンティティー and エンティティー エンティティー は 取得 の instance では 認識エージェント が エンティティー を experiences エンティティー は エンティティー の patient では エンティティー の value は エンティティー では のタスクを実行することはを allows
(=>     (and         (instance ?B Bequeathing)         (agent ?B ?P)         (destination ?B ?H)         (objectTransferred ?B ?PROP))     (exists (?D)         (and             (instance ?D Death)             (experiencer ?D ?P)             (earlier                 (WhenFn ?D)                 (WhenFn ?B))             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?D))                 (possesses ?P ?PROP))             (confersNorm ?P                 (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 20250-20266	移動 は Bequeathing の instance では AutonomousAgent は 移動 の agent では 移動 は エンティティー に ends objectTransferred 移動 and AutonomousAgentROP 工程 工程 は 死 の instance では AutonomousAgent が 工程 を experiences 工程 の time の existence は 移動 の time の existence より earlier happens AutonomousAgent は AutonomousAgentROP を possesses は 工程 の time の existence の immediately before の during holds confersNorm AutonomousAgent, エンティティー は AutonomousAgentROP を possesses and Permission
(=>     (and         (instance ?B Blockade)         (instance ?C Contest)         (subProcess ?B ?C)         (contestParticipant ?C ?A1)         (agent ?B ?A1))     (exists (?C1 ?A2)         (and             (prevents ?C1 Translocation)             (instance ?B ?C1)             (contestParticipant ?C ?A2)             (not                 (equal ?A1 ?A2))             (desires ?A2                 (exists (?I)                     (and                         (instance ?I ?C1)                         (agent ?I ?A1)                         (subProcess ?I ?C)))))))	Mid-level-ontology.kif 23418-23437	工程 は Blockade の instance では コンテスト は コンテスト の instance では 工程 は コンテスト% の subprocess では contestParticipant コンテスト and AutonomousAgent AutonomousAgent は 工程 の agent では コンテスト1 認識エージェント コンテスト1 は Translocation の出来事を prevents 工程 は コンテスト1 の instance では contestParticipant コンテスト and 認識エージェント equal AutonomousAgent and 認識エージェント 認識エージェント が エンティティー エンティティー は コンテスト1 の instance では AutonomousAgent は エンティティー の agent では エンティティー は コンテスト% の subprocess では を desires
(=>     (and         (instance ?B Boarding)         (agent ?B ?A)         (patient ?B ?V))     (and         (holdsDuring             (BeginFn                 (WhenFn ?B))             (not                 (onboard ?A ?V)))         (holdsDuring             (EndFn                 (WhenFn ?B))             (onboard ?A ?V))))	Mid-level-ontology.kif 18937-18948	工程 は Boarding の instance では AutonomousAgent は 工程 の agent では エンティティー は 工程 の patient では onboard AutonomousAgent and エンティティー は 工程 の time の existence の beginning の during holds onboard AutonomousAgent and エンティティー は 工程 の time の existence の end の during holds
(=>     (and         (instance ?B Deboarding)         (agent ?B ?A)         (patient ?B ?V))     (and         (holdsDuring             (BeginFn                 (WhenFn ?B))             (onboard ?A ?V))         (holdsDuring             (EndFn                 (WhenFn ?B))             (not                 (onboard ?A ?V)))))	Mid-level-ontology.kif 18978-18990	工程 は Deboarding の instance では AutonomousAgent は 工程 の agent では エンティティー は 工程 の patient では onboard AutonomousAgent and エンティティー は 工程 の time の existence の beginning の during holds onboard AutonomousAgent and エンティティー は 工程 の time の existence の end の during holds
(=>     (and         (instance ?BB Bodybuilding)         (agent ?BB ?H))     (exists (?W)         (and             (instance ?W Weightlifting)             (agent ?W ?H)             (earlier                 (WhenFn ?W)                 (WhenFn ?BB)))))	Sports.kif 790-800	工程 は Bodybuilding の instance では AutonomousAgent は 工程 の agent では 工程 工程 は Weightlifting の instance では AutonomousAgent は 工程 の agent では 工程 の time の existence は 工程 の time の existence より earlier happens
(=>     (and         (instance ?BIDDING Bidding)         (instance ?OBJECT Physical)         (instance ?AMOUNT CurrencyMeasure)         (instance ?AGENT ?AGENT)         (objectOfBid ?BIDDING ?OBJECT)         (amountOfBid ?BIDDING ?AMOUNT)         (agent ?BIDDING ?AGENT))     (bidPrice ?OBJECT ?AMOUNT ?AGENT))	UXExperimentalTerms.kif 1416-1425	Bidding は Bidding の instance では オブジェクト は 物理 の instance では 通貨測定 は 通貨測定 の instance では AutonomousAgent は AutonomousAgent の instance では objectOfBid Bidding and オブジェクト amountOfBid Bidding and 通貨測定 AutonomousAgent は Bidding の agent では bidPrice オブジェクト, 通貨測定 and AutonomousAgent
(=>     (and         (instance ?BITE Biting)         (agent ?BITE ?ANIMAL))     (exists (?MOUTH)         (and             (instance ?MOUTH Mouth)             (part ?MOUTH ?ANIMAL)             (instrument ?BITE ?MOUTH))))	Mid-level-ontology.kif 7452-7460	工程 は Biting の instance では AutonomousAgent は 工程 の agent では オブジェクト オブジェクト は Mouth の instance では オブジェクト は AutonomousAgent の part では オブジェクト は 工程 の instrument では
(=>     (and         (instance ?BORROW Borrowing)         (agent ?BORROW ?AGENT1)         (origin ?BORROW ?AGENT2)         (patient ?BORROW ?OBJECT))     (exists (?LEND)         (and             (instance ?LEND Lending)             (agent ?LEND ?AGENT2)             (destination ?LEND ?AGENT1)             (patient ?LEND ?OBJECT))))	Merge.kif 11881-11892	工程 は 借り の instance では AutonomousAgent は 工程 の agent では 工程 は AutonomousAgent から originates エンティティー は 工程 の patient では 工程 工程 は 貸し の instance では AutonomousAgent は 工程 の agent では 工程 は AutonomousAgent に ends エンティティー は 工程 の patient では
(=>     (and         (instance ?BUY Buying)         (agent ?BUY ?AGENT))     (destination ?BUY ?AGENT))	Merge.kif 12045-12049	工程 は 購買 の instance では AutonomousAgent は 工程 の agent では 工程 は AutonomousAgent に ends
(=>     (and         (instance ?BUY Buying)         (agent ?BUY ?AGENT1)         (origin ?BUY ?AGENT2)         (patient ?BUY ?OBJECT))     (exists (?SELL)         (and             (instance ?SELL Selling)             (agent ?SELL ?AGENT2)             (destination ?SELL ?AGENT1)             (patient ?SELL ?OBJECT))))	Merge.kif 12055-12066	工程 は 購買 の instance では AutonomousAgent は 工程 の agent では 工程 は AutonomousAgent から originates エンティティー は 工程 の patient では 工程 工程 は 販売 の instance では AutonomousAgent は 工程 の agent では 工程 は AutonomousAgent に ends エンティティー は 工程 の patient では
(=>     (and         (instance ?C CateringService)         (agent ?C ?AGENT)         (destination ?C ?CUST)         (located ?AGENT ?LOC1)         (customer ?CUST ?AGENT)         (exists (?S ?FOOD ?E)             (and                 (instance ?S Cooking)                 (agent ?S ?AGENT)                 (result ?S ?FOOD)                 (patient ?C ?FOOD)                 (instance ?E Eating)                 (agent ?E ?CUST)                 (eventLocated ?E ?LOC2))))     (not         (equal ?LOC1 ?LOC2)))	Dining.kif 586-602	工程 は CateringService の instance では AutonomousAgent は 工程 の agent では 工程 は 工程UST に ends AutonomousAgent は オブジェクト に located して customer 工程UST and AutonomousAgent 工程 エンティティー and 工程 工程 は 料理 の instance では AutonomousAgent は 工程 の agent では エンティティー は 工程 の result では エンティティー は 工程 の patient では 工程 は 摂食 の instance では 工程UST は 工程 の agent では eventLocated 工程 and オブジェクト equal オブジェクト and オブジェクト
(=>     (and         (instance ?C CavalryUnit)         (instance ?B Battle)         (agent ?B ?C))     (exists (?P ?V ?T)         (and             (attribute ?P Soldier)             (member ?P ?C)             (instance ?T Transportation)             (agent ?T ?P)             (instance ?V Vehicle)             (patient ?T ?V)             (during ?T ?B))))	Mid-level-ontology.kif 9593-9606	AutonomousAgent は CavalryUnit の instance では 時間間隔 は 戦い の instance では AutonomousAgent は 時間間隔 の agent では AutonomousAgent エンティティー and 時間間隔 Soldier は AutonomousAgent の attribute では AutonomousAgent は AutonomousAgent の member では 時間間隔 は 交通手段 の instance では AutonomousAgent は 時間間隔 の agent では エンティティー は Vehicle の instance では エンティティー は 時間間隔 の patient では 時間間隔 は 時間間隔 の during に takes
(=>     (and         (instance ?C CheckingVitals)         (agent ?C ?A)         (patient ?C ?P)         (instance ?H Heart)         (part ?H ?P)         (instance ?L Lung)         (part ?L ?P)         (holdsDuring             (WhenFn ?C)             (and                 (systolicBloodPressure ?P ?SYS)                 (diastolicBloodPressure ?P ?DIA)                 (measure ?P                     (MeasureFn ?T FahrenheitDegree))))         (heartRate ?H             (WhenFn ?C) ?I)         (breathingRate ?L             (WhenFn ?C) ?R))     (knows ?A         (and             (holdsDuring                 (WhenFn ?C)                 (and                     (systolicBloodPressure ?P ?SYS)                     (diastolicBloodPressure ?P ?DIA)                     (measure ?P                         (MeasureFn ?T FahrenheitDegree))))             (heartRate ?H                 (WhenFn ?C) ?I)             (breathingRate ?L                 (WhenFn ?C) ?R))))	Medicine.kif 6523-6547	工程 は CheckingVitals の instance では 認識エージェント は 工程 の agent では オブジェクト は 工程 の patient では Heart は Heart の instance では Heart は オブジェクト の part では Lung は Lung の instance では Lung は オブジェクト の part では systolicBloodPressure オブジェクト and エンティティー diastolicBloodPressure オブジェクト and エンティティー オブジェクト の measure は エンティティー の FahrenheitDegree(s) では は 工程 の time の existence の during holds heartRate Heart, 工程 の time の existence and 整数 breathingRate Lung, 工程 の time の existence and 整数 認識エージェント は systolicBloodPressure オブジェクト and エンティティー diastolicBloodPressure オブジェクト and エンティティー オブジェクト の measure は エンティティー の FahrenheitDegree(s) では は 工程 の time の existence の during holds heartRate Heart, 工程 の time の existence and 整数 breathingRate Lung, 工程 の time の existence and 整数 を knows
(=>     (and         (instance ?C ComputerBackingUp)         (dataProcessed ?C ?DD)         (instance ?DD DigitalData)         (agent ?C ?A))     (desires ?A         (exists (?T)             (and                 (earlier                     (WhenFn ?C) ?T)                 (holdsDuring ?T                     (exists (?PROC)                         (and                             (instance ?PROC ComputerProcess)                             (capability ?PROC dataProcessed ?DD))))))))	ComputingBrands.kif 3492-3506	ComputerProcess は ComputerBackingUp の instance では dataProcessed ComputerProcess and DigitalData DigitalData は DigitalData の instance では 認識エージェント は ComputerProcess の agent では 認識エージェント が エンティティー ComputerProcess の time の existence は エンティティー より earlier happens エンティティー エンティティー は ComputerProcess の instance では DigitalData は エンティティー を dataProcessed として行う capable では は エンティティー の during holds を desires
(=>     (and         (instance ?C Confirming)         (agent ?C ?A)         (containsInformation ?C ?P))     (exists (?S ?RA ?A2)         (and             (instance ?S Stating)             (earlier ?S ?C)             (instance ?RA ReachingAgreement)             (agent ?S ?A2)             (containsInformation ?RA ?P)             (containsInformation ?S ?P)             (partyToAgreement ?RA ?A)             (partyToAgreement ?RA ?A2))))	Mid-level-ontology.kif 31558-31572	時間間隔 は Confirming の instance では Agreement は 時間間隔 の agent では 時間間隔 は 命題 の情報を contains 時間間隔 ContentBearingPhysical and Agreement2 時間間隔 は 記載 の instance では 時間間隔 は 時間間隔 より earlier happens ContentBearingPhysical は ReachingAgreement の instance では Agreement2 は 時間間隔 の agent では ContentBearingPhysical は 命題 の情報を contains 時間間隔 は 命題 の情報を contains partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
(=>     (and         (instance ?C Crawling)         (agent ?C ?A))     (exists (?ARM)         (and             (instance ?ARM Arm)             (part ?ARM ?A)             (instrument ?C ?ARM))))	Mid-level-ontology.kif 4834-4842	工程 は Crawling の instance では AutonomousAgent は 工程 の agent では AutonomousAgentRM AutonomousAgentRM は Arm の instance では AutonomousAgentRM は AutonomousAgent の part では AutonomousAgentRM は 工程 の instrument では
(=>     (and         (instance ?C Crawling)         (agent ?C ?A))     (instance ?A Biped))	Mid-level-ontology.kif 4844-4848	工程 は Crawling の instance では AutonomousAgent は 工程 の agent では AutonomousAgent は Biped の instance では
(=>     (and         (instance ?C InPersonCommunication)         (agent ?C ?A1)         (agent ?C ?A2)         (not             (equal ?A1 ?A2)))     (holdsDuring ?C         (orientation ?A1 ?A2 Near)))	Media.kif 224-231	工程 は InPersonCommunication の instance では AutonomousAgent は 工程 の agent では AutonomousAgent は 工程 の agent では equal AutonomousAgent and AutonomousAgent AutonomousAgent は Near 対 AutonomousAgent では は 工程 の during holds
(=>     (and         (instance ?CARNIVORE Carnivore)         (instance ?EAT Eating)         (agent ?EAT ?CARNIVORE)         (patient ?EAT ?PREY))     (instance ?PREY Animal))	Merge.kif 14756-14762	AutonomousAgent は 肉食動物 の instance では 工程 は 摂食 の instance では AutonomousAgent は 工程 の agent では エンティティー は 工程 の patient では エンティティー は 動物 の instance では
(=>     (and         (instance ?CATCH Catching)         (agent ?CATCH ?AGENT)         (patient ?CATCH ?BALL))     (holdsDuring         (EndFn             (WhenFn ?CATCH))         (grasps ?AGENT ?BALL)))	Mid-level-ontology.kif 18499-18504	工程 は Catching の instance では AutonomousAgent は 工程 の agent では エンティティー は 工程 の patient では AutonomousAgent は エンティティー を grasps は 工程 の time の existence の end の during holds
(=>     (and         (instance ?CLOSE ClosingContract)         (agent ?CLOSE ?AGENT)         (destination ?CLOSE ?CONTRACT))     (partyToAgreement ?CONTRACT ?AGENT))	Mid-level-ontology.kif 23129-23134	工程 は ClosingContract の instance では Agreement は 工程 の agent では 工程 は 認識エージェント に ends partyToAgreement 認識エージェント and Agreement
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