(=>     (and         (instance ?AR ArmedReconnaissance)         (agent ?AR ?AGENT)         (patient ?AR ?HOSTILE)         (holdsDuring             (WhenFn ?AR)             (enemy ?AGENT ?HOSTILE)))     (confersRight         (exists (?ATTACK)             (and                 (instance ?ATTACK Attack)                 (agent ?ATTACK ?AGENT)                 (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))	MilitaryProcesses.kif 89-103	工程 は ArmedReconnaissance の instance では %n 認識エージェント は 工程 の agent では %n エンティティー は 工程 の patient では %n enemy 認識エージェント and エンティティー は 工程 の time の existence の during holds %n{ない} 工程 は 認識エージェント が エンティティー エンティティー は Attack の instance では %n 認識エージェント は エンティティー の agent では %n エンティティー は エンティティー の patient では %n のタスクを実行することはを allows %n{ない}
(=>     (and         (instance ?AREA GeopoliticalArea)         (occupiesPosition ?PERSON Leader             (GovernmentFn ?AREA)))     (exists (?LEADING)         (and             (instance ?LEADING Guiding)             (patient ?LEADING ?AREA)             (agent ?LEADING ?PERSON))))	Government.kif 2309-2317	地政学的地域 は 地政学的地域 の instance では %n 人［人間］ は 地政学的地域 の government の Leader の position を holds %n{ない} 工程 工程 は 案内 の instance では %n 地政学的地域 は 工程 の patient では %n 人［人間］ は 工程 の agent では %n
(=>     (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 では %n 認識エージェント は AutonomousAgent の instance では %n エンティティー は オブジェクト の instance では %n 認識エージェント は 工程 の agent では %n エンティティー は 工程 の patient では %n 認識エージェント が エンティティー エンティティー は 購買 の instance では %n エンティティー は エンティティー の patient では %n 認識エージェント は エンティティー の agent では %n を desires %n{ない}
(=>     (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 では %n AutonomousAgent は 工程 の agent では %n ステートメント causesProposition AutonomousAgentNG AutonomousAgentNG は Anger の instance では %n AutonomousAgent が AutonomousAgentNG を experiences %n{ない} and 工程 は AngryVoiceUtterance の instance では %n AutonomousAgent は 工程 の agent では %n には Likely の modal force が ある
(=>     (and         (instance ?Account FinancialAccount)         (accountAt ?Account ?Bank))     (exists (?Activity)         (and             (instance ?Activity ControllingAnAccount)             (patient ?Activity ?Account)             (agent ?Activity ?Bank))))	FinancialOntology.kif 76-84	FinancialAccount は FinancialAccount の instance では %n accountAt FinancialAccount and FinancialOrganization 工程 工程 は ControllingAnAccount の instance では %n FinancialAccount は 工程 の patient では %n FinancialOrganization は 工程 の agent では %n
(=>     (and         (instance ?B Bleeding)         (instance ?D Death)         (instance ?H Human)         (instance ?P Human)         (experiencer ?B ?P)         (orientation ?H ?P Near)         (modalAttribute             (causes ?B ?D) Likely))     (holdsObligation ?H         (exists (?A)             (and                 (instance ?A Attaching)                 (agent ?A ?H)                 (destination ?A ?P)))))	Medicine.kif 44-59	工程 は Bleeding の instance では %n エンティティー は 死 の instance では %n 公式 は 人［人間］ の instance では %n AutonomousAgent は 人［人間］ の instance では %n AutonomousAgent が 工程 を experiences %n{ない} 公式 は Near 対 AutonomousAgent では %n ステートメント 工程 は エンティティー を causes %n{ない} には Likely の modal force が ある エンティティー エンティティー は 取付け の instance では %n 公式 は エンティティー の agent では %n エンティティー は AutonomousAgent に ends %n{ない} はタイプ 公式 のタスクを実行する obliged %n
(=>     (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 21775-21794	工程 は Blockade の instance では %n コンテスト は コンテスト の instance では %n 工程 は コンテスト% の subprocess では %n contestParticipant コンテスト and AutonomousAgent AutonomousAgent は 工程 の agent では %n コンテスト1 認識エージェント コンテスト1 は Translocation の出来事を prevents %n{ない} 工程 は コンテスト1 の instance では %n contestParticipant コンテスト and 認識エージェント AutonomousAgent は 認識エージェント と equal では 認識エージェント が エンティティー エンティティー は コンテスト1 の instance では %n AutonomousAgent は エンティティー の agent では %n エンティティー は コンテスト% の subprocess では %n を desires %n{ない}
(=>     (and         (instance ?BB Bodybuilding)         (agent ?BB ?H))     (exists (?W)         (and             (instance ?W Weightlifting)             (agent ?W ?H)             (earlier                 (WhenFn ?W)                 (WhenFn ?BB)))))	Sports.kif 778-788	工程 は Bodybuilding の instance では %n AutonomousAgent は 工程 の agent では %n 工程 工程 は Weightlifting の instance では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 工程 の time の existence より earlier happens %n{ない}
(=>     (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 11753-11764	工程 は 借り の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は AutonomousAgent から originates %n{ない} エンティティー は 工程 の patient では %n 工程 工程 は 貸し の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は AutonomousAgent に ends %n{ない} エンティティー は 工程 の patient では %n
(=>     (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 11927-11938	工程 は 購買 の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は AutonomousAgent から originates %n{ない} エンティティー は 工程 の patient では %n 工程 工程 は 販売 の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は AutonomousAgent に ends %n{ない} エンティティー は 工程 の patient では %n
(=>     (and         (instance ?Bond CallableBond)         (issuedBy ?Bond ?Agent))     (capability Call agent ?Agent))	FinancialOntology.kif 2477-2481	証明書 は CallableBond の instance では %n issuedBy 証明書 and 認識エージェント 認識エージェント は Call を agent として行う capable では %n
(=>     (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 8386-8399	AutonomousAgent は CavalryUnit の instance では %n 時間間隔 は 戦い の instance では %n AutonomousAgent は 時間間隔 の agent では %n AutonomousAgent エンティティー and 時間間隔 Soldier は AutonomousAgent の attribute では %n AutonomousAgent は AutonomousAgent の member では %n 時間間隔 は 交通手段 の instance では %n AutonomousAgent は 時間間隔 の agent では %n エンティティー は Vehicle の instance では %n エンティティー は 時間間隔 の patient では %n 時間間隔 は 時間間隔 の during に takes %n{ない}
(=>     (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 29627-29641	時間間隔 は Confirming の instance では %n Agreement は 時間間隔 の agent では %n 時間間隔 は 命題 の情報を contains %n{ない} 時間間隔 ContentBearingPhysical and Agreement2 時間間隔 は 記載 の instance では %n 時間間隔 は 時間間隔 より earlier happens %n{ない} ContentBearingPhysical は ReachingAgreement の instance では %n Agreement2 は 時間間隔 の agent では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 時間間隔 は 命題 の情報を contains %n{ない} partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
(=>     (and         (instance ?C Convoy)         (member ?X1 ?C)         (member ?X2 ?C)         (not             (equal ?X1 ?X2)))     (exists (?P1 ?P2 ?D)         (and             (instance ?P1 Transportation)             (instance ?P2 Transportation)             (agent ?P1 ?X1)             (agent ?P2 ?X2)             (destination ?P1 ?D)             (destination ?P2 ?D))))	Military.kif 108-122	コレクション は Convoy の instance では %n AutonomousAgent は コレクション の member では %n AutonomousAgent は コレクション の member では %n AutonomousAgent は AutonomousAgent と equal では 工程 工程 and エンティティー 工程 は 交通手段 の instance では %n 工程 は 交通手段 の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n 工程 は エンティティー に ends %n{ない} 工程 は エンティティー に ends %n{ない}
(=>     (and         (instance ?CAB GovernmentCabinet)         (subOrganization ?CAB             (GovernmentFn ?AREA))         (instance ?AREA GeopoliticalArea))     (hasPurpose ?CAB         (exists (?ADVICE ?LEADER)             (and                 (instance ?ADVICE Stating)                 (agent ?ADVICE ?CAB)                 (patient ?ADVICE ?LEADER)                 (leader ?LEADER                     (GovernmentFn ?AREA))))))	Government.kif 1513-1524	組織 は GovernmentCabinet の instance では %n 組織 は組織 地政学的地域 の government の一部では %n 地政学的地域 は 地政学的地域 の instance では %n 組織 は エンティティー エンティティー エンティティー は 記載 の instance では %n 組織 は エンティティー の agent では %n エンティティー は エンティティー の patient では %n leader エンティティー and 地政学的地域 の government の 目的 %n{ない}
(=>     (and         (instance ?CO CounterproliferationWMD)         (agent ?CO ?AGENT))     (exists (?ENEMY ?OP)         (and             (enemy ?AGENT ?ENEMY)             (agent ?OP ?ENEMY)             (instance ?OP ProliferationWMD)             (hasPurpose ?CO                 (prevents ?CO ProliferationWMD)))))	MilitaryProcesses.kif 1478-1488	工程 は CounterproliferationWMD の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent 工程 enemy AutonomousAgent and AutonomousAgent AutonomousAgent は 工程 の agent では %n 工程 は ProliferationWMD の instance では %n 工程 は 工程 は ProliferationWMD の出来事を prevents %n{ない} の 目的 %n{ない}
(=>     (and         (instance ?COMMENTING Commenting)         (instance ?PROCESS Process)         (patient ?COMMENTING ?PROCESS))     (exists (?AGENT ?SPEAKING ?LOOKING)         (and             (instance ?AGENT AutonomousAgent)             (instance ?SPEAKING Speaking)             (instance ?LOOKING Looking)             (agent ?SPEAKING ?AGENT)             (agent ?LOOKING ?AGENT)             (patient ?LOOKING ?PROCESS)             (refers ?SPEAKING ?PROCESS))))	Mid-level-ontology.kif 15886-15899	工程 は Commenting の instance では %n エンティティー は 工程 の instance では %n エンティティー は 工程 の patient では %n AutonomousAgent 工程 and 工程 AutonomousAgent は AutonomousAgent の instance では %n 工程 は Speaking の instance では %n 工程 は Looking の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n 工程 は エンティティー への reference を includes %n{ない}
(=>     (and         (instance ?Card DebitCard)         (possesses ?Agent ?Card)         (instance ?Transaction FinancialTransaction)         (instrument ?Transaction ?Card))     (exists (?PIN ?Enter)         (and             (pin ?PIN ?Card)             (instance ?Enter EnteringAPin)             (patient ?Enter ?PIN)             (agent ?Enter ?Agent))))	FinancialOntology.kif 3543-3554	BankCard は DebitCard の instance では %n AutonomousAgent は BankCard を possesses %n{ない} 工程 は 金融取引 の instance では %n BankCard は 工程 の instrument では %n 記号文字列 工程 pin 記号文字列 and BankCard 工程 は EnteringAPin の instance では %n 記号文字列 は 工程 の patient では %n AutonomousAgent は 工程 の agent では %n
(=>     (and         (instance ?Controlling ControllingAnAccount)         (patient ?Controlling ?Account)         (accountAt ?Account ?Bank))     (agent ?Controlling ?Bank))	FinancialOntology.kif 356-361	工程 は ControllingAnAccount の instance では %n FinancialAccount は 工程 の patient では %n accountAt FinancialAccount and FinancialOrganization FinancialOrganization は 工程 の agent では %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 ?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 12068-12084	工程 は 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 12036-12048	工程 は Deciding の instance では %n 認識エージェント は 工程 の agent では %n セット は セット の instance では %n セット は 工程 の patient では %n エンティティー は セット の element %n 認識エージェント は エンティティー エンティティー は エンティティー の instance では %n エンティティー は 意図的なプロセス の subclass では %n 認識エージェント は エンティティー を agent として行う capable では %n を believes %n{ない}
(=>     (and         (instance ?DIGEST Digesting)         (agent ?DIGEST ?ORGANISM))     (exists (?INGEST)         (and             (instance ?INGEST Ingesting)             (agent ?INGEST ?ORGANISM)             (overlapsTemporally                 (WhenFn ?INGEST)                 (WhenFn ?DIGEST)))))	Merge.kif 10311-10319	工程 は Digesting の instance では %n AutonomousAgent は 工程 の agent では %n 工程 工程 は 摂取 の instance では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 工程 の time の existence と overlaps %n{dない}
(=>     (and         (instance ?E Matriculation)         (agent ?E ?C)         (patient ?E ?P)         (instance ?C College))     (exists (?G ?S)         (and             (instance ?G Graduation)             (agent ?G ?S)             (patient ?G ?P)             (instance ?S SecondarySchool)             (earlier                 (WhenFn ?G)                 (WhenFn ?E)))))	Mid-level-ontology.kif 16689-16701	工程 は 入学 の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n AutonomousAgent は College の instance では %n 工程 AutonomousAgent 工程 は 卒業 の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n AutonomousAgent は SecondarySchool の instance では %n 工程 の time の existence は 工程 の time の existence より earlier happens %n{ない}
(=>     (and         (instance ?EBP EmotionalBehavioralProcess)         (agent ?EBP ?A))     (exists (?APP)         (and             (instance ?APP AppraisalProcess)             (agent ?APP ?A)             (causes ?APP ?EBP))))	emotion.kif 119-127	工程 は EmotionalBehavioralProcess の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgentPP AutonomousAgentPP は AppraisalProcess の instance では %n AutonomousAgent は AutonomousAgentPP の agent では %n AutonomousAgentPP は 工程 を causes %n{ない}
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