No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	百分之 RealNumber 在 信仰團體 的人相信 信仰團體 Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and 信仰團體 會員 Physical and Collection RealNumber1 是 Collection 的 member 計數 位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數 等於 部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	RealNumber percent 的人在 GeographicArea 是 EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 Physical and Collection RealNumber1 是 Collection 的 member 計數 位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數 等於 部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language 是 SentientAgent 的 speaks 語言 RealNumber1 是 Collection 的 member 計數 位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collection 的 member 計數 等於 部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	Government.kif 3603-3605	會員 Physical and 國際紅十字和紅新月運動 會員 Physical and 國際紅十字會和紅新月會聯合會
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22703-22705	時間上的會員 SelfConnectedObject, Collection and TimePosition 持有期間 TimePosition and 會員 SelfConnectedObject and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1297-1302	子集合 Collection and Collection Physical 會員 Physical and Collection 會員 Physical and Collection
No TPTP formula. May not be expressible in strict first order.	Government.kif 1774-1779	attribute Object and Organization 的 member 例 Object and AutonomousAgent 例 Organization and Organization 會員 Object and Organization
No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	attribute Object and Attribute 例 Attribute and 基督教 會員 Object and 基督教
No TPTP formula. May not be expressible in strict first order.	Military.kif 249-253	attribute Object and Attribute 例 Attribute and 軍銜 會員 Object and 兵役
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	元件 Collection and 屬性 AutonomousAgent 例 Collection and RoomInventory Physical 會員 Physical and Collection 元件 Physical and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10540-10549	例 Process and OrganizationalProcess agent Process and AutonomousAgent 例 AutonomousAgent and Organization Collection 例 Collection and Organization 會員 AutonomousAgent and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10562-10571	例 Process and ReligiousProcess agent Process and AutonomousAgent 例 AutonomousAgent and ReligiousOrganization Collection 會員 AutonomousAgent and Collection 例 Collection and ReligiousOrganization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite Collection 例 Collection and Collection WebListing 例 WebListing and WebListing WebListing 是在 WebSite hosted AutonomousAgent sells WebListing 會員 WebListing and Collection 等於 樣品對於 sale 由 AutonomousAgent 在 WebSite and Collection
No TPTP formula. May not be expressible in strict first order.	Government.kif 1797-1803	例 Object and Human 例 Organization and Organization 例 Position and Position attribute Object and Position 和 Organization 的 member 角色 會員 Object and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3229-3233	例 GeopoliticalArea and Nation 歐元 是 GeopoliticalArea 的 currency 類別 會員 GeopoliticalArea and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	例 TimeInterval and AddToCart 例 Entity and Object 患者 TimeInterval and Entity agent TimeInterval and AutonomousAgent Collection WebSite, TimePosition and TimeInterval 例 Collection and Collection 例 WebSite and WebSite 例 TimeInterval and TimeInterval 使用者 AutonomousAgent 在 WebSite 有 cart Collection 等於 開始 TimeInterval and 結束 TimeInterval 持有期間 TimePosition and 會員 Entity and Collection
No TPTP formula. May not be expressible in strict first order.	Military.kif 257-264	例 Attribute and 美國軍銜 attribute Object and Attribute 軍事組織 會員 Object and 軍事組織 美國 是 軍事組織 的 military 區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	例 AutonomousAgent and 騎兵部隊 例 TimeInterval and Battle agent TimeInterval and AutonomousAgent AutonomousAgent Entity and TimeInterval attribute AutonomousAgent and 士兵 會員 AutonomousAgent and AutonomousAgent 例 TimeInterval and Transportation agent TimeInterval and AutonomousAgent 例 Entity and 車輛 患者 TimeInterval and Entity 期間 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	例 Object and Crystal attribute Object and MonoCrystalline 例 SelfConnectedObject and Substance attribute SelfConnectedObject and 固體 attribute SelfConnectedObject and PolyCrystalline 例 SelfConnectedObject and Substance 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject ObjectLNT Integer and Object 例 ObjectLNT and Collection Integer 是 ObjectLNT 的 member 計數 大於或等於 Integer and 4 會員 Object and ObjectLNT 部分 Object and SelfConnectedObject 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and FinancialTransaction SymbolicString entity 等於 基數 卡帕 SymbolicString and 例 SymbolicString and Physical 例 entity and Buying 會員 entity and Collection 患者 entity and SymbolicString and 在 Collection 裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於 部 基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing SymbolicString entity, entity and SymbolicString 等於 基數 卡帕 SymbolicString and 例 entity and Physical 例 entity and WebListing 例 SymbolicString and Bidding 會員 entity and Collection SymbolicString 是個 bid 對於 entity 患者 entity and entity and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
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