Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	例 AutonomousAgent and AutonomousAgent 子類 AutonomousAgent 的 election and 選舉例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	例 AutonomousAgent and AutonomousAgent 子類年 and 年例 AutonomousAgent 和年的 fiscal 開始年分 and AutonomousAgent 的 fiscal 年
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	SelfConnectedObject 是對於交通類別 Region 的 trafficable 子類 SelfConnectedObject and AutonomousAgent 例 Object and SelfConnectedObject 易位 capable 在地點 agent 對於 Object 跟 Region 在一起
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	例 TimeInterval and TimeInterval_CLASS 子類 TimeInterval_CLASS and Process 例 AccessingWebPage and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent TimeInterval and AutonomousAgent agent AccessingWebPage and AutonomousAgent 期間 TimeInterval and AccessingWebPage 例 Physical and TimeInterval TimeInterval 例 TimeInterval and TimeInterval_CLASS agent TimeInterval and AutonomousAgent 期間 TimeInterval and AccessingWebPage 之前開始何時 TimeInterval and 開始何時 TimeInterval 等於開始何時 AccessingWebPage and 開始何時 Physical 等於開始何時 TimeInterval and 結束何時 Physical 等於 AccessingWebPage 的 time 在類別 TimeInterval_CLASS and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	子類 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	子類 SentientAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	子類 GeopoliticalArea and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	子類 Organism and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16173-16173	子類商業代理人 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16224-16224	子類 Group and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16610-16610	子類 Organization and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1306-1306	子類 IT代理商 and AutonomousAgent

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