TreeView Knowledge Base Browser - Drinking

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Drinking

Drinking

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2910-2911
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10295-10296
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1659-1660
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2801-2801
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2804-2804
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2803-2803
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2802-2802
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2667-2667
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10293-10293	子類 Drinking and Ingesting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1081-1081
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1373-1373
No TPTP formula. May not be expressible in strict first order.	french_format.kif 759-759
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 291-291
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 294-294
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2443-2443
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 711-711
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 296-296
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 330-330
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 780-780
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 295-295

antecedent

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.	Merge.kif 10298-10302	例 Process and Drinking 資源 Process and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Food.kif 399-403	例 Process and Drinking 患者 Process and Entity 例 Entity and Beverage
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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19803-19809	attribute CognitiveAgent and Thirsty 慾望 CognitiveAgent and entity 例 entity and Drinking agent entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8672-8683	持有期間 TimePosition and attribute entity and 醉 TimePosition 時間部分 TimePosition and 過去 TimePosition 持有期間 TimePosition and entity entity 例 entity and Drinking 患者 entity and entity 例 entity and 酒精飲料 agent entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4816-4833	例 Physical and Pedialyte 有目的 Physical and entity entity, entity and entityR 例 entity and 人類的孩子例 entity and 腹瀉例 entity and Vomiting 體驗者 entity and entity 早期何時 entity and 何時 entityR 體驗者 entity and entity 早期何時 entity and 何時 entityR 例 entityR and Drinking agent entityR and entity objectTransferred entityR and Physical

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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