TreeView Knowledge Base Browser - Getting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Getting

Getting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3086-3087
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11777-11779
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1857-1858
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11775-11775	子類 Getting and ChangeOfPossession

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 185-185	範圍子類 ReceivingAnObjectFn and Getting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11803-11803	子類 Borrowing and Getting
No TPTP formula. May not be expressible in strict first order.	Military.kif 51-51	子類食品配送業務 and Getting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11787-11787	子類 UnilateralGetting and Getting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1136-1136
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1489-1489
No TPTP formula. May not be expressible in strict first order.	french_format.kif 814-814
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 346-346
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 349-349
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2498-2498
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 766-766
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 351-351
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 385-385
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 835-835
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 350-350

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11781-11785

例 Process and Getting agent Process and AutonomousAgent
目的地 Process and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16200-16212	例 Entity and 法律獎勵參照 Entity and Process 例 Process and LegalAction agent Process and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Getting 體驗者 entity and CognitiveAgent 患者 entity and entity 貨幣價值 entity and entity, Entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11673-11685	例 Process and Giving agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 患者 Process and Entity Process 例 Process and Getting agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	例 Process and FoodPickup agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity 例 Entity and food for Human Object Process and Process 位於 AutonomousAgent and Object 例 Process and 易位 agent Process and AutonomousAgent 目的地 Process and Object 例 Process and Getting 起源 Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 274-291	例 Collection and Buffet 會員 Physical and Collection 位於 Collection and Object 例 Process and Eating agent Process and AutonomousAgent Process 是 located 在 Object 患者 Process and Physical 等於 Object and Object Process 例 Process and Getting 患者 Process and Physical 起源 Process and Object agent Process and AutonomousAgent 之前何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Military.kif 53-60	例 Process and 食品配送業務 Process Process 例 Process and Giving 例 Process and Getting 子過程 Process and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1357-1373	例 AutonomousAgent and 主辦國 Process Organization, GeopoliticalArea and 軍事組織例 GeopoliticalArea and Nation 例軍事組織 and 軍事力量 GeopoliticalArea 是軍事組織的 military 區域子組織 Organization and 軍事組織等於 AutonomousAgent and GeopoliticalArea enemy AutonomousAgent and GeopoliticalArea 例 Process and Getting agent Process and AutonomousAgent 患者 Process and Organization 例 Organization and 軍事力量位於 Organization and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	例 Process and ValetLaundryService Human AutonomousAgent, 暫住, Entity, Process, Process and Process AutonomousAgent 是 Human 的 customer Human stays 在暫住 agent Process and AutonomousAgent 例 Entity and Clothing 例 Process and Getting 位於 Process and 暫住患者 Process and Entity agent Process and AutonomousAgent 例 Process and LaundryService 例 Process and DryCleaningService agent Process and AutonomousAgent 患者 Process and Entity 例 Process and DeliveryService 患者 Process and Entity 目的地 Process and 暫住之前開始何時 Process and 開始何時 Process 之前開始何時 Process and 開始何時 Process

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