Keeping - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Keeping

Keeping

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3141-3142
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12280-12281
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12279-12279	子類 Keeping and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12305-12305	子類 Confining and Keeping
No TPTP formula. May not be expressible in strict first order.	Food.kif 184-184	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1154-1154	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1525-1525	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	french_format.kif 832-832	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 364-364	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 367-367	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2516-2516	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 784-784	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 369-369	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 403-403	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 662-662	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 853-853	子類 PreservingFood and Keeping
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 368-368	子類 PreservingFood and Keeping

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4348-4360	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Object 部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4362-4375	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Process 例 Process and 旋轉患者 Process and Object 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12283-12293	例 Process and Keeping agent Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Putting agent Process and AutonomousAgent 患者 Process and Entity 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12295-12303	例 Process and Keeping 患者 Process and Entity entity TimePosition 時間部分 TimePosition and 何時 Process 持有期間 TimePosition and 位於 Entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10910-10923	例 Object and Plant 部分 Object and Object Process Entity and Process 例 Process and Process 子類 Process and Keeping 例 Entity and 淡水患者 Process and Entity 能力 Process, 儀器 and Object 例 Object and PlantLeaf 例 Object and PlantStem
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 106-125	擁有 CognitiveAgent and Object 例 CognitiveAgent and 商業代理人例 Object and 停車場例 Object and Building 位於 CognitiveAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 持有期間 TimePosition and 位於 AutonomousAgent and Object 例 Process and Driving 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Object 持有期間 TimePosition and 賦予權利例 entity and Keeping 目的地 entity and Object 患者 entity and Entity, CognitiveAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1282-1290	例 Physical and AirportApron 有目的 Physical and entity entity 例 entity and 飛機例 entity and Keeping 患者 entity and entity 目的地 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21616-21623	例 Entity and 家畜 Process AutonomousAgent 例 Process and Keeping agent Process and AutonomousAgent 例 AutonomousAgent and Human 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8241-8249	例 Physical and 倉庫有目的 Physical and entity entity 例 entity and Keeping 患者 entity and entity 例 entity and Product entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4457-4463	例 Physical and 櫃子有目的 Physical and entity 例 entity and Keeping 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1277-1287	例 AutonomousAgent and CartridgeCase Object Object and Process 例 Object and BulletCartridge 例 Object and 子彈例 Process and Keeping 適當的部分 AutonomousAgent and Object 適當的部分 Object and Object agent Process and AutonomousAgent 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4787-4789	例 Object and 持有人能力 Keeping, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6390-6392	例 Object and 口袋能力 Keeping, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16888-16895	例 Physical and 衣櫥有目的 Physical and entity entity 例 entity and Keeping 患者 entity and entity 位於 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2262-2273	例服務 and SafetyDepositService Object Process, Object and CognitiveAgent 服務提供者服務 and CognitiveAgent 例 Object and 安全的容器例 Process and Keeping 位於 Process and Object 擁有 CognitiveAgent and Object 患者 Process and Object 子過程 Process and 服務擁有 CognitiveAgent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4362-4376	例 Object and MurphyBed Object 例 Object and 隔室空間的符合 Object and Object 有目的 Object and entity 例 entity and Keeping 患者 entity and Object 目的地 entity and Object 持有期間何時 entity and attribute Object and 垂直
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4336-4346	例 Physical and 捲軸有目的 Physical and entity entity 例 entity and Keeping 例 entity and CorpuscularObject attribute entity and 又長又瘦 attribute entity and 易彎的儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4395-4407	例 Entity and SofaBed Object Object 例 Object and 隔室部分 Object and Object 例 Object and 沙發有目的 Object and entity 例 entity and Keeping 患者 entity and Entity 目的地 entity and Object

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