IntentionalProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2930-2931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10488-10489
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1681-1682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10486-10486	子類 IntentionalProcess and Process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10164-10164	不相交的自主過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18235-18235	不相交的做夢 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11191-11191	不相交的地質過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10484-10484	不相交的自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19983-19983	不相交的發抖 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11198-11198	不相交的天氣過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 422-422	範圍子類開始 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 436-436	範圍子類停 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11139-11139	子類走動 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7920-7920	子類 Ceremony and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15882-15882	子類 Commenting and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12671-12671	子類 ContentDevelopment and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13859-13859	子類犯罪行為 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	WMD.kif 675-675	子類部署大規模殺傷性武器 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10850-10850	子類設計 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18007-18007	子類挖掘 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	WMD.kif 731-731	子類拆除大規模殺傷性武器 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 446-446	子類躲著 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18094-18094	子類鑽孔 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13118-13118	子類迴避 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1197-1197	子類工程師子流程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2489-2489	子類疏散 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11607-11607	子類 Guiding and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1310-1310	子類 IT流程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10512-10512	子類 IntentionalPsychologicalProcess and IntentionalProcess

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20488-20488	域職業, 1 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4514-4514	域子類 FailureFn, 1 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Law.kif 369-369	域子類 distrusts, 3 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7369-7369	域子類享受, 2 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21365-21365	域子類有職業, 2 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1643-1643	域子類行業服務類型, 2 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1661-1661	域子類組織服務類型, 2 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Law.kif 358-358	域子類 trusts, 3 and IntentionalProcess

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	AutonomousAgent provides Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Entity and Object 慾望 CognitiveAgent and entity 例 entity and IntentionalProcess 患者 entity and Entity agent entity and CognitiveAgent 模態屬性賦予權利使用 Entity and CognitiveAgent, AutonomousAgent and CognitiveAgent and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10404-10410	例 Object and Muscle 例 Process and BodyMotion 儀器 Process and Object 例 Process and IntentionalProcess 例 Object and VoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10491-10496	例 Process and IntentionalProcess agent Process and AutonomousAgent Formula 有代理人的目的 Process, Formula and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10505-10510	例 Process and IntentionalProcess agent Process and AutonomousAgent 例 AutonomousAgent and Animal 持有期間何時 Process and attribute AutonomousAgent and Awake
No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	例 Process and IntentionalProcess 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法 Process Process, Process and Process 例 Process and 提供例 Process and ReachingAgreement 參照 Process and 協議參照 Process and 協議 agent Process and Process agent Process and Process 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2732-2738	例 Process and IntentionalProcess agent Process and CognitiveAgent 例 CognitiveAgent and CognitiveAgent 患者 Process and Entity 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法持有期間何時 Process and 年齡 CognitiveAgent and 測量 RealNumber and 年持續時間比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理內容承載物理是協議的 record 持有期間何時 Process and 年齡 CognitiveAgent and 測量 entity and 年持續時間比較多 entity and RealNumber attribute 協議 and 合法
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法持有期間何時 Process and attribute CognitiveAgent and 清醒
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14149-14163	屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess agent Process and CognitiveAgent 實現 Process and Proposition 協議是 Proposition 的 consistent 模態屬性 entity 例 entity and LegalAction CognitiveAgent 是 plaintiff 在 entity CognitiveAgent 是在 entity 的 defendant and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10498-10503	例 Process and IntentionalProcess AutonomousAgent 例 AutonomousAgent and CognitiveAgent agent Process and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	持有期間 TimeInterval and attribute AutonomousAgent and AVPUVerbalStatus 例 Process and 說話目的地 Process and AutonomousAgent 期間何時 Process and TimeInterval Process 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30242-30253	例 AutonomousAgent and AutonomousAgent 持有期間 TimeInterval and attribute AutonomousAgent and Motionless Process 例 Process and BodyMotion 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12046-12062	例 Process and 決定 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Set 結果 Process and 內容承載物理例內容承載物理 and 內容承載物理 containsFormula 內容承載物理 and 持有期間未來何時 Process and entity 元件 entity and Entity 例 entity and IntentionalProcess agent entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	例 Process and 決定 agent Process and CognitiveAgent 例 Set and Set 患者 Process and Set 元件 Entity and Set 相信 CognitiveAgent and entity 例 Entity and entity 子類 entity and IntentionalProcess 能力 entity, agent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	Reservation starts 在 TimePoint Reservation ends 在 TimePoint AutonomousAgent reserves Reservation AutonomousAgent fulfills Reservation 模態屬性持有期間時間間隔 TimePoint and TimePoint and entity 例 entity and IntentionalProcess agent entity and AutonomousAgent 目的地 entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19828-19837	attribute AutonomousAgent and 悶 Process 例 Process and IntentionalProcess agent Process and AutonomousAgent 持有期間何時 Process and 慾望 AutonomousAgent and agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2336-2346	attribute Object and TourArrangementAndReservationServices 有目的 Object and entity entity 例 entity and TourReservation 例 entity and IntentionalProcess agent entity and Object 結果 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 10451-10461	attribute Object and 旅行安排和預訂服務有目的 Object and entity entity 例 entity and TravelReservation 例 entity and IntentionalProcess agent entity and Object 結果 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1084-1092	CognitiveAgent entered Entity 在 Contest Process Process 例 Process and IntentionalProcess agent Process and CognitiveAgent 結果 Process and Entity 例 Process and 判斷患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 889-898	等於音樂錄音 and 音樂錄音的 remix 由 CognitiveAgent Process 例 Process and IntentionalProcess 患者 Process and 音樂錄音 agent Process and CognitiveAgent 結果 Process and 音樂錄音等於音樂錄音 and 音樂錄音複製音樂錄音 and 音樂錄音
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5215-5224	持有期間 TimeInterval and attribute AutonomousAgent and Coma Process 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 441-445	持有期間 TimePosition and attribute entity and Conscious 持有期間 TimePosition and 能力 IntentionalProcess, agent and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2740-2746	在感興趣的範圍內 CognitiveAgent and Entity Process 例 Process and IntentionalProcess agent Process and CognitiveAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 239-244	例 Entity and 基因工程生物 Process 例 Process and IntentionalProcess 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 2832-2839	例 Entity and ProcessedMilk Process Entity 例 Process and IntentionalProcess 例 Entity and CowMilk 患者 Process and Entity 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1072-1078	例 Entity and 合成物質 Process 例 Process and IntentionalProcess 結果 Process and Entity 例 Entity and Substance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1994-2006	例 Physical and WakeUpService 有目的 Physical and entity entity, entity and entity agent Physical and entity 體驗者 Physical and entity 例 entity and IntentionalProcess agent entity and entity 體驗者 entity and entity 例 entity and 起來體驗者 entity and entity 結果 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26250-26260	例 Physical and AudioRecorder 有目的 Physical and entity entity and entity 例 entity and RadiatingSound 例 entity and IntentionalProcess 儀器 entity and Physical 患者 entity and entity 結果 entity and entity 例 entity and 錄音
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27047-27069	例 Process and OperatorAssistedTelephoneCommunication Object Entity and Physical 起源 Process and Object 目的地 Process and Entity 例 Physical and Human 有目的 Physical and entity 例 entity and IntentionalProcess agent entity and Physical 子過程 entity and Process 持有期間眼前的未來何時 entity and 模態屬性 entity 例 entity and Communication 起源 entity and Object 目的地 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Food.kif 319-324	例 Entity and 已準備食物 Process 例 Process and IntentionalProcess 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1336-1350	例 Physical and TapeRecorder 有目的 Physical and entity entity and entity 例 entity and IntentionalProcess 儀器 entity and Physical 結果 entity and entity 例 entity and 錄音例 entity and RecordingTape 持有期間 entity and 連接的 entity and Physical 之前開始何時 entity and 開始何時部分 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26695-26701	例 Entity and UniformClothing Process Entity 例 Process and IntentionalProcess 結果 Process and Entity 代表 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16502-16508	CognitiveAgent 是由 Certificate 的 issued Process 例 Process and IntentionalProcess agent Process and CognitiveAgent 結果 Process and Certificate
No TPTP formula. May not be expressible in strict first order.	Music.kif 1165-1172	MusicChart 是 ranked 由 CognitiveAgent Process Entity 例 Entity and MusicChart 例 Process and IntentionalProcess agent Process and CognitiveAgent 結果 Process and Entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: