Stating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3258-3259
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13139-13140
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13138-13138	子類 Stating and 語言交流

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13036-13036	劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 894-894	子類回答中 and Stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29615-29615	子類 Apologizing and Stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 906-906	子類爭論 and Stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29634-29634	子類 Confirming and Stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29686-29686	子類 Correcting and Stating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13150-13150	子類不同意 and Stating
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4180-4180	子類 Misdiagnosing and Stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16124-16124	子類懇求 and Stating
No TPTP formula. May not be expressible in strict first order.	Media.kif 125-125	子類 ReachingAgreement and Stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 882-882	子類註冊 and Stating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2692-2692	子類 SITREP and Stating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 450-450	子類終端攻擊控制 and Stating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 502-502	子類終端指導 and Stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16162-16162	子類作證 and Stating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1198-1198
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1613-1613
No TPTP formula. May not be expressible in strict first order.	french_format.kif 876-876
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 409-409
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 412-412
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2560-2560
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 414-414
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 448-448

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13142-13148	例 Process and Stating agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Formula 持有期間何時 Process and 相信 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14236-14241	例 Process and Stating 結果 Process and Entity 例 Entity and Sentence 例 Entity and 聲明

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29639-29653	例 TimeInterval and Confirming agent TimeInterval and 協議包含信息 TimeInterval and Proposition TimeInterval 內容承載物理 and 協議2 例 TimeInterval and Stating 早期 TimeInterval and TimeInterval 例內容承載物理 and ReachingAgreement agent TimeInterval and 協議2 包含信息內容承載物理 and Proposition 包含信息 TimeInterval and Proposition 協議是內容承載物理的 party 協議協議2 是內容承載物理的 party 協議
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	例 Organization and 政府內閣子組織 Organization and 政府 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 有目的 Organization and entity entity 例 entity and Stating agent entity and Organization 患者 entity and entity 政府 GeopoliticalArea 是 entity 的 leader
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	例 CorpuscularObject and ViewItemPage 例 Process and WebListing 零件 Process and CorpuscularObject 患者 Process and Entity 例 Entity and Physical Process Process and ProcessCONTENT 例 Process and Stating 患者 Process and Process 參照 Process and Entity 結果 Process and ProcessCONTENT 部分 ProcessCONTENT and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16153-16160	Formula describes Object Process AutonomousAgent 例 Process and Stating agent Process and AutonomousAgent 患者 Process and Formula 參照 Process and Object
No TPTP formula. May not be expressible in strict first order.	Law.kif 65-78	持有期間 TimeInterval and prohibits AutonomousAgent and entity Process entity and entity 例 Process and Stating 期間何時 Process and TimeInterval agent Process and AutonomousAgent containsFormula Process and 原因 agent entity and entity and 真相 entity and 真正 punishes AutonomousAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29691-29703	例 Process and Correcting Process Process, ProcessP and ProcessP 例 Process and 不同意子過程 Process and Process 例 Process and Stating 子過程 Process and Process 包含信息 Process and ProcessP 包含信息 Process and ProcessP 參照 ProcessP and ProcessP ProcessP 是 ProcessP 的 consistent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2043-2052	例 Object and ProductDescriptionPage Entity Process, Process and ProcessCONTENT 例 Entity and Class 例 Process and Stating 患者 Process and Process 參照 Process and Entity 結果 Process and ProcessCONTENT 部分 ProcessCONTENT and Object
No TPTP formula. May not be expressible in strict first order.	Law.kif 400-415	trusts CognitiveAgent, AutonomousAgent and IntentionalProcess 相信 CognitiveAgent and entity IntentionalProcessI and IntentionalProcess 例 entity and Stating containsFormula entity and 例 IntentionalProcessI and IntentionalProcess agent IntentionalProcessI and AutonomousAgent 模態屬性例 IntentionalProcessI and IntentionalProcess agent IntentionalProcessI and AutonomousAgent and 容易

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: