PropertyFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PropertyFn

PropertyFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2135-2136
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4273-4274
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 790-791
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4270-4270	域屬性, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4269-4269	例屬性 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4268-4268	例屬性 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4271-4271	範圍屬性 and Set

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 269-269
No TPTP formula. May not be expressible in strict first order.	english_format.kif 274-274
No TPTP formula. May not be expressible in strict first order.	french_format.kif 153-153
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 236-236
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1981-1981
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 105-105
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 163-163
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 347-347
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 274-274
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 172-172
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 159-159
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 428-428
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 270-270
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47841-47841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47840-47840
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47839-47839
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 111-111

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1452-1457	attribute AutonomousAgent and 旅客住宿元件 Entity and 屬性 AutonomousAgent 例 Entity and Casino attribute AutonomousAgent and 賭場酒店
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	元件 Object and 屬性 Organization attribute Object and AnnexRoom 例 Object and HotelRoom Object Object and Organization 子組織 Organization and Organization 例 Organization and HotelFrontDesk 位於 Organization and Object 元件 Object and 屬性 Organization 元件 Object and 屬性 Organization 部分 Object and Object 等於 Object and Object
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.	Hotel.kif 841-862	Physical 是 free 對於顧客出租 HotelFunctionRoom 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent Object 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	Physical 的使用對於 HotelUnit 是免費子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Object 是對於 Human 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	Physical 的使用對於 HotelUnit 是免費子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 Process 是對於 Human 的 price 測量 0.0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	Physical 的使用對於 HotelFunctionRoom 是免費例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Entity 子類 Physical and Object 模態屬性 entity entity 例 entity and Physical 例 entity and Process 資源 entity and entity 儀器 entity and entity 患者 entity and entity agent entity and Entity 體驗者 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	Human 是在 AutonomousAgent 的 guest Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例暫住 and 暫住OOM Physical 是 amenity 在暫住OOM 子類 Physical and Object Physical 例 Physical and Physical 位於 Physical and 暫住賦予權利 entity agent entity and Human 儀器 entity and Physical 患者 entity and Physical 資源 entity and Physical, AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1696-1704	例 Physical and HotelFunctionRoom 元件 Physical and 屬性 AutonomousAgent 有目的 Physical and entity 例 entity and 租患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	例 Object and Nursery 元件 Object and 屬性 AutonomousAgent attribute AutonomousAgent and 旅客住宿 CognitiveAgent entity attribute Object and CommunalAttribute 採用 AutonomousAgent and CognitiveAgent 有目的 CognitiveAgent and 例 entity and ChildCareService 服務提供者 entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	StationaryArtifact 能 accommodate 大部分 Integer 的人例 Entity and StationaryArtifact 元件 Entity and 屬性 AutonomousAgent 模態屬性 entity entity 例 entity and 一群人 entity 是 entity 的 member 計數小於或等於 entity and Integer entity stays 在 Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	HotelFunctionRoom 的承租人能 pay 去使用 Physical 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent RealNumber UnitOfMeasure Object 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 位於 Process and 暫住患者 Process and Object 儀器 Process and Object 資源 Process and Object ProcessRICE UnitOfMeasure Object 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 ProcessRICE UnitOfMeasure Process 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2744-2757	CognitiveAgent authored HotelPackage 例 HotelPackage and HotelPackage Organization provides HotelPackage HotelPackage 指定 Integer 天數 stay 在 HotelUnit 例 Entity and HotelUnit 元件 Entity and 屬性 Organization CognitiveAgent buys HotelPackage 從 CognitiveAgent TimePosition 等於 TimePosition and 測量 Integer and 一天長度持有期間 TimePosition and CognitiveAgent 是在 Organization 的 guest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4276-4279	元件 Object and 屬性 AutonomousAgent 擁有 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7849-7853	貨幣價值屬性 AutonomousAgent and CurrencyMeasure 等於財富 AutonomousAgent and CurrencyMeasure

consequent

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 1935-1946	attribute AutonomousAgent and 旅客住宿能力 RoomCleaningService, agent and AutonomousAgent CognitiveAgent Object 採用 AutonomousAgent and CognitiveAgent attribute CognitiveAgent and 女傭例 Object and HotelUnit 部分 Object and 屬性 AutonomousAgent 能力 RoomCleaningService, 患者 and Object 能力 RoomCleaningService, 服務提供者 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Process 模態屬性 entity entity and entity 元件 entity and 屬性 AutonomousAgent agent entity and AutonomousAgent 患者 entity and CognitiveAgent 例 entity and Physical 例 entity and Physical 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	元件 Object and 屬性 Organization attribute Object and AnnexRoom 例 Object and HotelRoom Object Object and Organization 子組織 Organization and Organization 例 Organization and HotelFrontDesk 位於 Organization and Object 元件 Object and 屬性 Organization 元件 Object and 屬性 Organization 部分 Object and Object 等於 Object and Object
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.	Economy.kif 6109-6123	例 Attribute and CapitalMeanOfProduction attribute AttributeO and Attribute entity Entity, entityONEY, EntityGENT and Entity 例 entityONEY and 貨幣等於 AttributeO and entityONEY 元件 Entity and 屬性 EntityGENT 等於 Entity and AttributeO 例 Entity and Artifact 等於 AttributeO and Entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	Physical 是 amenity 在 HotelUnit 子類 Physical and Process 模態屬性 entity entity, entity and entity 例 entity and HotelUnit 元件 entity and 屬性 entity agent entity and entity 例 entity and Physical 例 entity and Physical 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	attribute Object and 旅客住宿有目的 Object and entity entity and entity Object rents entity 給 entity 在其間 entity 例 entity and HotelUnit 元件 entity and 屬性 Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 11437-11442	attribute AutonomousAgent and WaterThemePark Entity 例 Entity and 游泳池元件 Entity and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7843-7847	等於財富 AutonomousAgent and CurrencyMeasure 貨幣價值屬性 AutonomousAgent and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	例 Entity and HotelUnit AutonomousAgent attribute AutonomousAgent and 旅客住宿元件 Entity and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	例 Physical and HotelUnit 有目的 Physical and entity entity and entity 等於 entity and entity 元件 Physical and 屬性 entity entity rents Physical 給 entity 在其間 entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1691-1694	例 Entity and HotelFunctionRoom AutonomousAgent 元件 Entity and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 905-919	會員 CognitiveAgent and Capitalism 相信 CognitiveAgent and 例 entity and 生產平均值 attribute entity and entity 例 entity and GeopoliticalArea 位於 entity and entity entity 例 entity and AutonomousAgent 元件 entity and 屬性 entity 等於 entity and entity 的 citizenry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 880-889	會員 CognitiveAgent and Communism 相信 CognitiveAgent and 例 entity and 生產平均值 attribute entity and entity 例 entity and GeopoliticalArea 位於 entity and entity 元件 entity and 屬性 entity 的 citizenry
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4281-4284	擁有 AutonomousAgent and Object 元件 Object and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 615-620	AutonomousAgent 有 Policy Object 元件 Object and 屬性 AutonomousAgent Policy covers Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	HotelMiniBar 是 amenity 在 HotelUnit Object Collection and AutonomousAgent 例 Object and HotelUnit 元件 Object and 屬性 AutonomousAgent 例 Collection and HotelMiniBar 位於 Collection and Object Physical 會員 Physical and Collection CurrencyMeasure Physical 是對於 AutonomousAgent 的 price CurrencyMeasure

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