(=>     (and         (instance ?DIO DefensiveInformationOperation)         (agent ?DIO ?AGENT)         (enemy ?AGENT ?ENEMY)         (desires ?ENEMY             (knows ?ENEMY ?FORMULA))         (desires ?AGENT             (not                 (knows ?ENEMY ?FORMULA))))     (hasPurpose ?DIO         (not             (knows ?ENEMY ?FORMULA))))	MilitaryProcesses.kif 1876-1888	例 Process and 防禦性信息操作 agent Process and CognitiveAgent enemy CognitiveAgent and CognitiveAgent 慾望 CognitiveAgent and 知道 CognitiveAgent and entity 慾望 CognitiveAgent and 知道 CognitiveAgent and entity 有目的 Process and 知道 CognitiveAgent and entity
(=>     (and         (instance ?DRESS Dressing)         (agent ?DRESS ?AGENT)         (patient ?DRESS ?CLOTHING))     (and         (instance ?CLOTHING Clothing)         (holdsDuring             (BeginFn                 (WhenFn ?DRESS))             (not                 (wears ?AGENT ?CLOTHING)))         (holdsDuring             (EndFn                 (WhenFn ?DRESS))             (wears ?AGENT ?CLOTHING))))	Mid-level-ontology.kif 5502-5517	例 Process and 調味料 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Clothing 持有期間 開始 何時 Process and 穿 AutonomousAgent and Entity 持有期間 結束 何時 Process and 穿 AutonomousAgent and Entity
(=>     (and         (instance ?DRIVING Driving)         (subProcess ?TRANSPORT ?DRIVING)         (instance ?TRANSPORT Transportation)         (agent ?DRIVING ?DRIVER))     (transported ?TRANSPORT ?DRIVER))	Mid-level-ontology.kif 23574-23580	例 Process and Driving 子過程 Transportation and Process 例 Transportation and Transportation agent Process and AutonomousAgent 運送的 Transportation and AutonomousAgent
(=>     (and         (instance ?DVU DisgustedVoiceUtterance)         (agent ?DVU ?A))     (exists (?D)         (and             (instance ?D Disgust)             (experiencer ?D ?A)             (causes ?D ?DVU))))	emotion.kif 2000-2008	例 Process and DisgustedVoiceUtterance agent Process and AutonomousAgent Process 例 Process and Disgust 體驗者 Process and AutonomousAgent 原因 Process and Process
(=>     (and         (instance ?Depositing DepositingACheck)         (instance ?Check Check)         (agent ?Depositing ?Agent))     (signedBy ?Check ?Agent))	FinancialOntology.kif 148-153	例 Process and 存款支票 例 Certificate and 校驗 agent Process and CognitiveAgent CognitiveAgent 是 Certificate 的 簽屬
(=>     (and         (instance ?Drawing DrawingACheck)         (patient ?Drawing ?Check)         (agent ?Drawing ?Agent)         (checkAccount ?Check ?Account))     (accountHolder ?Account ?Agent))	FinancialOntology.kif 321-327	例 Process and 畫一張支票 患者 Process and 校驗 agent Process and CognitiveAgent 金融賬戶 是 校驗 的 check 帳戶 CognitiveAgent 持有 account 金融賬戶
(=>     (and         (instance ?E Electrocardiography)         (patient ?E ?H)         (agent ?E ?D)         (attribute ?D MedicalDoctor))     (hasPurpose ?E         (knows ?D             (exists (?T)                 (truth                     (attribute ?H                         (ImpairedBodyPartFn Heart)) ?T)))))	Medicine.kif 3449-3460	例 Process and Electrocardiography 患者 Process and Entity agent Process and AutonomousAgent attribute AutonomousAgent and 醫生 有目的 Process and 知道 AutonomousAgent and entity 真相 attribute Entity and ImpairedBodyPartFn 心 and entity
(=>     (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	例 Process and Matriculation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 學院 Process AutonomousAgent 例 Process and Graduation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 中學 早期 何時 Process and 何時 Process
(=>     (and         (instance ?EBP EmotionalBehavioralProcess)         (agent ?EBP ?A))     (exists (?APP)         (and             (instance ?APP AppraisalProcess)             (agent ?APP ?A)             (causes ?APP ?EBP))))	emotion.kif 119-127	例 Process and EmotionalBehavioralProcess agent Process and AutonomousAgent AutonomousAgentPP 例 AutonomousAgentPP and AppraisalProcess agent AutonomousAgentPP and AutonomousAgent 原因 AutonomousAgentPP and Process
(=>     (and         (instance ?EBP EmotionalBehavioralProcess)         (agent ?EBP ?A))     (exists (?FE)         (and             (instance ?FE FacialExpression)             (agent ?FE ?A)             (causes ?EBP ?FE))))	emotion.kif 129-137	例 Process and EmotionalBehavioralProcess agent Process and AutonomousAgent Process 例 Process and 表情 agent Process and AutonomousAgent 原因 Process and Process
(=>     (and         (instance ?EF Exfiltration)         (agent ?EF ?AGENT))     (exists (?PRET ?ENEMY)         (and             (instance ?PRET Pretending)             (agent ?PRET ?AGENT)             (patient ?PRET ?ENEMY)             (hasPurpose ?PRET                 (believes ?ENEMY                     (not                         (exists (?EF0)                             (equal ?EF0 ?EF))))))))	MilitaryProcesses.kif 257-270	例 Process and 滲出 agent Process and AutonomousAgent Process Entity 例 Process and Pretending agent Process and AutonomousAgent 患者 Process and Entity 有目的 Process and 相信 Entity and Process 等於 Process and Process
(=>     (and         (instance ?ELECTION             (ElectionFn ?POLITY))         (instance ?ACT             (VotingFn ?ELECTION))         (agent ?ACT ?AGENT)         (suffrageAgeMaximum ?POLITY             (MeasureFn ?VOTINGAGE YearDuration))         (age ?AGENT             (MeasureFn ?AGE YearDuration)))     (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1075-1084	例 選舉 and AutonomousAgent 的 election 例 Process and 選舉 的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間 是 AutonomousAgent 的 suffrage 最大年紀 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間 小於或等於 RealNumber and RealNumber
(=>     (and         (instance ?ELECTION             (ElectionFn ?POLITY))         (instance ?ACT             (VotingFn ?ELECTION))         (agent ?ACT ?AGENT)         (suffrageAgeMaximum ?POLITY             (MeasureFn ?VOTINGAGE YearDuration)))     (exists (?AGE)         (and             (age ?AGENT                 (MeasureFn ?AGE YearDuration))             (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1062-1073	例 選舉 and AutonomousAgent 的 election 例 Process and 選舉 的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間 是 AutonomousAgent 的 suffrage 最大年紀 RealNumber 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間 小於或等於 RealNumber and RealNumber
(=>     (and         (instance ?ELECTION             (ElectionFn ?POLITY))         (instance ?ACT             (VotingFn ?ELECTION))         (agent ?ACT ?AGENT)         (suffrageAgeMinimum ?POLITY             (MeasureFn ?VOTINGAGE YearDuration))         (age ?AGENT             (MeasureFn ?AGE YearDuration)))     (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1003-1012	例 選舉 and AutonomousAgent 的 election 例 Process and 選舉 的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間 是 AutonomousAgent 的 suffrage 最小年紀 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間 大於或等於 RealNumber and RealNumber
(=>     (and         (instance ?ELECTION             (ElectionFn ?POLITY))         (instance ?ACT             (VotingFn ?ELECTION))         (agent ?ACT ?AGENT)         (suffrageAgeMinimum ?POLITY             (MeasureFn ?VOTINGAGE YearDuration)))     (exists (?AGE)         (and             (age ?AGENT                 (MeasureFn ?AGE YearDuration))             (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 990-1001	例 選舉 and AutonomousAgent 的 election 例 Process and 選舉 的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間 是 AutonomousAgent 的 suffrage 最小年紀 RealNumber 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間 大於或等於 RealNumber and RealNumber
(=>     (and         (instance ?EM EyeMotion)         (agent ?EM ?A))     (exists (?E)         (and             (instance ?E Eyelid)             (part ?E ?A)             (patient ?EM ?E))))	Mid-level-ontology.kif 19942-19950	例 Process and 眼球運動 agent Process and AutonomousAgent Object 例 Object and 眼皮 部分 Object and AutonomousAgent 患者 Process and Object
(=>     (and         (instance ?EMIT RadiatingSound)         (agent ?EMIT ?SOUND))     (exists (?ATTR)         (and             (instance ?ATTR SoundAttribute)             (attribute ?SOUND ?ATTR))))	Merge.kif 13703-13710	例 Process and RadiatingSound agent Process and AutonomousAgent Attribute 例 Attribute and SoundAttribute attribute AutonomousAgent and Attribute
(=>     (and         (instance ?ENTER Matriculation)         (agent ?ENTER ?COLLEGE)         (patient ?ENTER ?STUDENT)         (instance ?COLLEGE College))     (exists (?GRAD ?SCHOOL)         (and             (instance ?GRAD Graduation)             (agent ?GRAD ?SCHOOL)             (patient ?GRAD ?STUDENT)             (instance ?SCHOOL HighSchool)             (earlier                 (WhenFn ?GRAD)                 (WhenFn ?ENTER)))))	Mid-level-ontology.kif 16670-16682	例 Process and Matriculation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 學院 Process AutonomousAgent 例 Process and Graduation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 中學 早期 何時 Process and 何時 Process
(=>     (and         (instance ?ESCAPE Escaping)         (agent ?ESCAPE ?AGENT))     (exists (?CONFINE)         (and             (instance ?CONFINE Confining)             (patient ?CONFINE ?AGENT)             (meetsTemporally                 (WhenFn ?CONFINE)                 (WhenFn ?ESCAPE)))))	Mid-level-ontology.kif 17280-17288	例 Process and 逃逸 agent Process and AutonomousAgent Process 例 Process and Confining 患者 Process and AutonomousAgent 短暫相遇 何時 Process and 何時 Process
(=>     (and         (instance ?EV Evacuation)         (agent ?EV ?A)         (experiencer ?EV ?P))     (exists (?C ?CA)         (and             (instance ?C Classifying)             (subProcess ?C ?EV)             (experiencer ?C ?P)             (or                 (subOrganization ?CA ?A)                 (member ?CA ?A)                 (equal ?CA ?A))             (agent ?C ?CA))))	MilitaryProcesses.kif 2609-2623	例 Process and 疏散 agent Process and Organization 體驗者 Process and AutonomousAgent Process ProcessA 例 Process and Classifying 子過程 Process and Process 體驗者 Process and AutonomousAgent 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
(=>     (and         (instance ?EV Evacuation)         (agent ?EV ?A)         (origin ?EV ?O))     (exists (?T ?TA)         (and             (instance ?T Translocation)             (subProcess ?T ?EV)             (origin ?T ?O)             (or                 (experiencer ?T ?TA)                 (agent ?T ?TA))             (or                 (subOrganization ?TA ?A)                 (member ?TA ?A)                 (equal ?TA ?A)))))	MilitaryProcesses.kif 2627-2643	例 Process and 疏散 agent Process and Organization 起源 Process and Object Process ProcessA 例 Process and 易位 子過程 Process and Process 起源 Process and Object 體驗者 Process and ProcessA agent Process and ProcessA 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization
(=>     (and         (instance ?EV Evacuation)         (agent ?EV ?H))     (instance ?H CognitiveAgent))	MilitaryProcesses.kif 2542-2546	例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and CognitiveAgent
(=>     (and         (instance ?EV Evacuation)         (agent ?EV ?MIL)         (instance ?MIL MilitaryOrganization)         (experiencer ?EV ?P))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?EV))         (attribute ?P Evacuee)))	MilitaryPersons.kif 133-140	例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and 軍事組織 體驗者 Process and AutonomousAgent 持有期間 眼前的未來 何時 Process and attribute AutonomousAgent and 撤離者
(=>     (and         (instance ?EV Evacuation)         (experiencer ?EV ?P)         (agent ?EV ?A))     (exists (?M ?MA)         (and             (instance ?M TherapeuticProcess)             (subProcess ?M ?EV)             (or                 (subOrganization ?MA ?A)                 (member ?MA ?A)                 (equal ?MA ?A))             (agent ?M ?MA)             (experiencer ?M ?P))))	MilitaryProcesses.kif 2591-2605	例 Process and 疏散 體驗者 Process and AutonomousAgent agent Process and Organization Process ProcessA 例 Process and TherapeuticProcess 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 體驗者 Process and AutonomousAgent
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?O)         (agent ?EV ?A))     (exists (?M ?MA)         (and             (instance ?M Maintaining)             (eventLocated ?M ?O)             (subProcess ?M ?EV)             (or                 (subOrganization ?MA ?A)                 (member ?MA ?A)                 (equal ?MA ?A))             (agent ?M ?MA))))	MilitaryProcesses.kif 2573-2587	例 Process and 疏散 起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Maintaining Process 是 located 在 Object 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
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