=> - Sigma Knowledge base Browser

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5405-5409	元件 Entity and Set 元件 Entity and Set 子集 Set and Set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5993-6006	等於路徑重量 GraphPath and RealNumber 圖形部分 GraphArc and GraphPath 圖形部分 GraphArc and GraphPath 弧重 GraphArc and RealNumber 弧重 GraphArc and RealNumber GraphElement 圖形部分 GraphElement and GraphPath 等於 GraphElement and GraphArc 等於 GraphElement and GraphArc 等於路徑重量 GraphPath and 加成 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	等於路徑重量 GraphPath and RealNumber 子圖 GraphPath and GraphPath 圖形部分 GraphArc and GraphPath 弧重 GraphArc and RealNumber GraphElement 圖形部分 GraphElement and GraphPath 圖形部分 GraphElement and GraphPath 等於 GraphElement and GraphArc 等於 RealNumber and 加成路徑重量 GraphPath and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Auctioning SymbolicString entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and SymbolicString 是 Physical 的 transaction 總額是 entity_PURCHASE_AMOUNT 等於 Collection 的 total purchase price and entity_PURCHASE_AMOUNT
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.	UXExperimentalTerms.kif 1033-1060	例 Collection and Collection 例 WebSite and WebSite 例 AutonomousAgent and AutonomousAgent 例 WebListing and WebListing 例 TimePoint and TimePoint AutonomousAgent sells WebListing 會員 WebListing and Collection Physical Physical 例 Physical and WebListing 會員 Physical and 樣品對於 sale 由 AutonomousAgent 在 WebSite 時間部分 TimePoint and 何時 Physical 等於 Physical and WebListing 會員 Physical and Collection 會員 Physical and Collection 時間部分 TimePoint and 何時 Physical 例 Physical and WebListing 等於東西對於 sale 由 AutonomousAgent 非列在 WebListing 在 WebSite 期間 TimePoint and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Buying Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Buying 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_PURCHASE_AMOUNT 等於 Collection 的 value and entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Selling Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_SALE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Selling 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_SALE_AMOUNT 等於 Collection 的 value and entity_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7350-7364	例 Object and 禮堂座位部分 Object and Object 部分 Object and Object 例 Object and 禮堂例 Object and 表演階段位於 Object and Object 例 Object and Human 子類 Process and Seeing Process 例 Process and Process 患者 Process and Object 能力 Process, agent and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	例 Human and Human 例 Collection and Collection 試驗 Physical Process 例試驗 and 試驗例 Physical and Process 會員 Physical and events 在試驗例 Physical and Process 能力 Process, 體驗者 and Human 會員 Physical and Collection 會員 Physical and Collection 例 Physical and Process 試驗 PhysicalESS 例試驗 and 試驗會員 Physical and events 在試驗例 Physical and PhysicalESS 能力 PhysicalESS, 體驗者 and Human 等於所有流程 Human 是 qualified 對於 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	例 Human and Human 例 Collection and Collection WebPage Process and 試驗例 WebPage and WebPage 例 Process and AccessingWebPage 例試驗 and 試驗 agent Process and Human 患者 Process and WebPage WebPage 是試驗的研究對象會員 Process and Collection 等於 Collection and 所有的 treated web page 瀏覽從 Human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	例 Collection and Collection 例 Collection and Collection 子集合 Collection and Collection Physical 會員 Physical and Collection 例 Physical and AccessingWebPage Process AutonomousAgent, Process, Process and Object 例 AutonomousAgent and Human 例 Process and Buying 例 Process and AccessingWebPage 例 Object and WebPage 會員 Process and Collection 目的地 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 期間何時 Process and 何時 Process 儀器 Process and Object 會員 Process and Collection TimeInterval entity_IN_INTERVAL and entity_IN_INTERVAL 等於 purchases 花在 Collection 期間 TimeInterval and 部基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval and 基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	RealNumber 是 List 的 average List PositiveInteger 等於列表長度 List and 列表長度 List 等於清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 在列表中 PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger 比較多 RealNumber and 1 小於或等於 RealNumber and 列表長度 List 等於清單順序 List and PositiveInteger and RealNumber 在列表中 PositiveInteger and List 等於 RealNumber and 清單順序 List and PositiveInteger 在列表中 PositiveInteger and List 等於 RealNumberMINUSONE and 減法 RealNumber and 1 等於 RealNumberMINUSONE and 清單順序 List and PositiveInteger 等於 PositiveInteger and 加成 PositiveInteger and PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 部清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7780-7788	更大 Object and Object RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and RealNumber
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.	Hotel.kif 171-176	all rooms 在 RoomInventory 有 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 233-238	所有房間在 RoomInventory 有政策 Policy HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Policy 是應用在 HotelUnit 的 policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	所有房間在在 RoomInventory 有服務 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4989-4997	attribute Object and Attribute 例 Attribute and 球幾何點 LengthMeasure 幾何點點圖幾何點 and Object 幾何點是對於 LengthMeasure 的 geometric 距離幾何點
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17710-17719	attribute Object and 單色膚淺的部分 Object and Object attribute Object and Attribute 例 Attribute and PrimaryColor Object 膚淺的部分 Object and Object attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
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 4861-4872	等於最大公約數 @ROW and Integer 等於 Integer and 0 Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	等於最大公約數 @ROW and Integer 等於 Integer and 0 Integer 比較多 Integer and Integer Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4946-4956	等於最不常見的倍數 @ROW and Integer 等於 Integer and 0 Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	等於最不常見的倍數 @ROW and Integer 等於 Integer and 0 Integer 少於 Integer and Integer Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	等於 DataStorageDevice and Album 在 DataStorageDeviceS 的 set 複製例 DataStorageDevice and DataStorageDevice Object 在列表中 Object and Album ContentBearingObject 複製 ContentBearingObject and Object ContentBearingObject 是 stored 在 DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	那只能是 Integer values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Class Entity and @ARGS 例 Class and SetOrClass Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 例 Entity and Class 等於基數 Class and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9916-9923	hole HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject HoleRegion 部分 HoleRegion and mereological 總和 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject
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.	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.	Mid-level-ontology.kif 12929-12940	例 Object and 下巴例 Object and 面對部分 Object and Object Object 部分 Object and Object 部分 Object and Object 方位 Object, Object and 下面
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent Entity entity 結果 Process and Entity 例 Entity and OrganicObject 持有期間未來何時 Process and attribute Entity and 死持有期間眼前的未來何時 Process and 部分 entity and Entity 持有期間不久的過去何時 Process and 部分 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	例 Process and Grinding 患者 Process and Entity 例 Entity and CorpuscularObject 持有期間結束何時 Process and entity 結果 Process and entity 例 entity and Collection entity 會員 entity and entity 部分 entity and Entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING 例 ?ELECTION and ?AGENT 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER attribute ?VOTER and 男 and 獨家男性選舉權
No TPTP formula. May not be expressible in strict first order.	Government.kif 923-931	包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER 例 ?COUNTRY and Nation 例 ?ELECTION and ?COUNTRY 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER 公民 ?VOTER and ?COUNTRY and 選民公民身份要求
No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?AGENT and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?AGENT and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election 能力 ?ELECTION 的 voting , agent and ?AGENT and 普選法
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?VOTER and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?VOTER and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election ?VOTING 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER and 強制選舉法
No TPTP formula. May not be expressible in strict first order.	Media.kif 1970-1978	TimeInterval 例 TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity 持有期間 TimeInterval and 會員 entity and TwelveApostles 持有期間 TimeInterval and entity 是 JesusOfNazareth 的 friend

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5421-5425	元件 Entity and Set 元件 Entity and Set 等於 Set and Set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5405-5409	元件 Entity and Set 元件 Entity and Set 子集 Set and Set
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2768-2770	Organization provides HotelPackage attribute Organization and 旅客住宿
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	用戶帳號是在 WebSite 的 account Object WebSite_OWNER 例 Object and 數據庫例 WebSite_OWNER and AutonomousAgent 擁有 WebSite_OWNER and WebSite 擁有 WebSite_OWNER and Object 部分用戶帳號 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20751-20757	actedIn Human and 內容承載物理 Process 例 Process and 戲劇表演患者 Process and Human 結果 Process and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	AutonomousAgent can hold Process 的種類 Object 元件 Object and 屬性 AutonomousAgent 能力 Process, 位於 and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 939-944	Object 是對於 Class adjacent Object 例 Object and Class 方位 Object, Object and 鄰
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 193-199	advertisedOn Object and WebSite WebListing 例 WebListing and Advertising WebListing 是在 WebSite hosted 患者 WebListing and Object
No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	TimePosition 是 Proposition 的 agreement 採用日期 Process TimePosition 例 Process and Committing 例 TimePosition and TimePosition 患者 Process and Proposition 時間 Process and TimePosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14071-14076	CognitiveAgent 有義務去做在協議的 Proposition DeonticAttribute 內容承載物理包含信息內容承載物理 and Proposition 協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14099-14105	CognitiveAgent 有義務去做在協議的 Proposition 允許堅持正確 entity 實現 entity and Proposition agent entity and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14090-14097	CognitiveAgent 有義務去做在協議的 Proposition 禁令堅持正確 entity 實現 entity and Proposition agent entity and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14054-14057	協議有 expiration TimePoint 持有期間未來 TimePoint and 屬性協議 and ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	Proposition agreement 對於 Proposition 的修改日期 TimePosition TimePosition 例 TimePosition and TimePosition 持有期間不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間眼前的未來 TimePosition and 次提案 Proposition and Proposition 持有期間不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間眼前的未來 TimePosition and 次提案 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	Music.kif 280-287	CognitiveAgent 是在 Album 上的表演者 ContentBearingObject Process 例 ContentBearingObject and Recording 在列表中 ContentBearingObject and Album ContentBearingObject 是個 Process 的 record agent Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Music.kif 312-314	Image 是在 Album 的 image 代表 Image and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	Album 之前是在 TimePoint 被 released GeographicArea DataStorageDevice Album 在 DataStorageDevice 的 set 複製是 released 對於 sale 在 GeographicArea 位於 TimePoint TimePoint GeographicArea and DataStorageDevice 之前 TimePoint and TimePoint Album 在 DataStorageDevice 的 set 複製是 released 對於 sale 在 GeographicArea 位於 TimePoint
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 171-176	all rooms 在 RoomInventory 有 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 233-238	所有房間在 RoomInventory 有政策 Policy HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Policy 是應用在 HotelUnit 的 policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	所有房間在在 RoomInventory 有服務 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16851-16860	Human 的 almaMater 是中學後 Process 例 Process and EducationalProcess 目的地 Process and Human Process 是 located 在中學後持有期間何時 Process and attribute Human and 學生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7740-7745	高度 SelfConnectedObject, Physical and LengthMeasure SelfConnectedObject 上 SelfConnectedObject and SelfConnectedObject 距離 SelfConnectedObject, Physical and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7736-7738	高度 Object, Object and LengthMeasure 方位 Object, Object and 以上
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7717-7719	高度 Physical, Physical and LengthMeasure 距離 Physical, Physical and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23251-23257	CaseRole Process and Object 例 CaseRole and CaseRole 例 Process and Process 例 Object and Object Object 對於 Process 在事件 CaseRole plays 角色

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: