resource - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2514-2514	不相交的關係資源 and 儀器
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2513-2513	不相交的關係資源 and 結果
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1887-1891
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2517-2523
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 512-516
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2511-2511	域資源, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2512-2512	域資源, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2509-2509	例資源 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2510-2510	例資源 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2508-2508	子關係資源 and 患者

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 181-181
No TPTP formula. May not be expressible in strict first order.	english_format.kif 182-182
No TPTP formula. May not be expressible in strict first order.	french_format.kif 110-110
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 256-256
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1939-1939
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 86-86
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 229-229
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 293-293
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 129-129
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 115-115
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 448-448
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8798-8798	子關係反應 and 資源
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 182-182
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49723-49723
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49722-49722
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 72-72

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12466-12473	例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間開始何時 Process and 部分 Object and Entity 持有期間結束何時 Process and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 對 CurrencyMeasure 收費在 corkage 為了 Object 例 Object and Object Process 例 Process and Buying 患者 Process and Object 目的地 Process and CognitiveAgent 起源 Process and AutonomousAgent 例 Process and Drinking agent Process and CognitiveAgent 資源 Process and Object Process 例 Process and Corkage agent Process and CognitiveAgent 參照 Process and Object 目的地 Process and AutonomousAgent
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.	Mid-level-ontology.kif 30662-30683	持有期間 TimeInterval and attribute AutonomousAgent and Dieting 持有期間 TimeInterval and attribute AutonomousAgent and Dieting 例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10276-10280	例 Process and Drinking 資源 Process and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10265-10269	例 Process and Eating 資源 Process and Object attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	例 Process and Ingesting 資源 Process and Object 例 Object and food for Organism 例 Object and 醫學
No TPTP formula. May not be expressible in strict first order.	Cars.kif 617-627	例 Object and BrakePad 例 Entity and BrakeRotor 例 Process and 旋轉患者 Process and Entity 例 Process and 摩擦資源 Process and Object 患者 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 639-649	例 Object and BrakeShoe 例 Entity and BrakeDrum 例 Process and 旋轉患者 Process and Entity 例 Process and 摩擦資源 Process and Object 患者 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11554-11558	例 Process and 咀嚼資源 Process and Object 例 Object and food for Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20415-20420	例 Process and 模仿資源 Process and Object 結果 Process and Object 複製 Object and Object
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	例 Process and 數據保存資源 Process and Object 例 Object and ElectronicDataStorageDevice Object 例 Object and 電器儀器 Process and Object 持有期間何時 Process and 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12547-12556	例 Object and ElementalSubstance 例 Object and ElementalSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity 例 Entity and CompoundSubstance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3155-3165	例 Object and IgnitionCoil 例 Process and ElectricTransmission 資源 Process and Object 例 Object and 電力例 Entity and 電力結果 Process and Entity 儀器 Process and Object 測量 Object and 測量 RealNumber and 伏特 approximateValue RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3188-3196	例 Process and 繪畫患者 Process and SelfConnectedObject 資源 Process and Object SelfConnectedObject 表面 SelfConnectedObject and SelfConnectedObject 例 Object and 塗料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12514-12520	例 Process and ChemicalProcess 資源 Process and Object 結果 Process and Object 例 Object and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5629-5635	例 Process and Separating 資源 Process and Object 結果 Process and Entity 例 Entity and 鐵例 Object and 鐵礦
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11810-11814	例 Process and 除毛資源 Process and Object 例 Object and 頭髮
No TPTP formula. May not be expressible in strict first order.	Food.kif 3617-3632	例 Object and 威士忌酒例 TimeInterval and 蒸餾結果 TimeInterval and Object 資源 TimeIntervalR and Object 例 TimeIntervalR and Drinking SelfConnectedObject TimeInterval and HoleRegion 例 SelfConnectedObject and Cask 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 持有期間 TimeInterval and 部分填補 Object and SelfConnectedObject 早期 TimeInterval and TimeInterval 早期 TimeInterval and TimeIntervalR
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.	Merge.kif 8025-8030	資源 Process and Object 持有期間開始何時 Process and 測量 Object and RealNumber 持有期間結束何時 Process and 測量 Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12563-12569	資源 Process and Object 結果 Process and Entity 例 Object and CompoundSubstance 例 Entity and ElementalSubstance 例 Process and ChemicalDecomposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12527-12533	資源 Process and Object 結果 Process and Entity 例 Object and ElementalSubstance 例 Entity and CompoundSubstance 例 Process and ChemicalSynthesis

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6478-6488	例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
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.	Medicine.kif 3954-3964	例 Motion and MuscularContraction 移動 Motion and Object 例 Object and VoluntaryMuscle 例 Object and HeartMuscle Object 例 Object and Troponin 資源 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19379-19392	例 Attribute and 二等色 attribute Object and Attribute Process Object, Object, Attribute and Attribute 結果 Process and Object 資源 Process and Object 資源 Process and Object attribute Object and Attribute attribute Object and Attribute 例 Attribute and PrimaryColor 例 Attribute and PrimaryColor 等於 Attribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2546-2554	例 Object and 電器例 Process and Process 儀器 Process and Object Object 例 Object and 電力資源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	例 Object and Organism 例 Object and 蛋 attribute Object and 胚胎部分 Object and Object Physical 例 Physical and EggYolk 有目的 Physical and entity 例 entity and Ingesting agent entity and Object 資源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	例 Collection and Organization attribute Collection and 建築材料和園藝設備及用品經銷商 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object 例 AutonomousAgent and Selling 例 Object and Object 能力 Constructing, 資源 and Object 能力農業, 資源 and Object 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	例 Collection and Organization attribute Collection and 計算機和電子產品製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and 電腦例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 5421-5443	例 Collection and Organization attribute Collection and 電氣設備器具和元件製造 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15152-15164	attribute Object and Translucent 模態屬性 entity entity and ObjectBJ 例 entity and RadiatingLight 資源 entity and entity 目的地 entity and ObjectBJ 之間 entity, Object and ObjectBJ 持有期間何時 entity and attribute ObjectBJ and 發光的 and 可能性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5772-5778	attribute Object and 工業生原料有目的 Object and entity 例 entity and Manufacture 資源 entity and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3936-3941	利用 Object and AutonomousAgent Process agent Process and AutonomousAgent 資源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1033-1039	例 Physical and Anesthesia 有目的 Physical and entity 例 entity and Anesthetizing 資源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1026-1031	例 Object and Anesthetizing Entity 例 Entity and Anesthesia 資源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1886-1894	例 Physical and 增氧機有目的 Physical and entity entity 例 entity and Combining 資源 entity and entity 例 entity and 空氣儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 607-615	例 Physical and BrakePad 有目的 Physical and entity PhysicalR 例 entity and 摩擦資源 entity and Physical 例 PhysicalR and BrakeRotor 患者 entity and PhysicalR
No TPTP formula. May not be expressible in strict first order.	Cars.kif 629-637	例 Physical and BrakeShoe 有目的 Physical and entity PhysicalD 例 entity and 摩擦資源 entity and Physical 例 PhysicalD and BrakeDrum 患者 entity and PhysicalD
No TPTP formula. May not be expressible in strict first order.	Food.kif 3638-3645	例 Entity and 白蘭地 Process Object 例 Process and 蒸餾例 Object and 葡萄酒資源 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 1566-1573	例 Entity and 麵包或餅乾 Object EntityAKE 例 Object and 麵團例 EntityAKE and 烘烤資源 EntityAKE and Object 結果 EntityAKE and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4757-4763	例 Physical and 磚有目的 Physical and entity 例 entity and Constructing 資源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4746-4748	例 Object and 板或塊能力 Constructing, 資源 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3030-3036	例 Physical and 蠟燭有目的 Physical and entity 例 entity and 火資源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19648-19655	例 Process and 色譜 Object 資源 Process and Object 例 Object and 液體混合物例 Object and 混合氣體

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: