buys - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - buys

buys

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29939-29940
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29947-29947	域 buys, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29948-29948	域 buys, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29949-29949	域 buys, 3 and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29938-29938	例 buys and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2946-2946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2945-2945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2944-2944
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29941-29941

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29951-29960	CognitiveAgent buys Entity 從 AutonomousAgent 例 Entity and Physical Process 例 Process and Buying 患者 Process and Entity agent Process and CognitiveAgent 起源 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29962-29972	CognitiveAgent buys Proposition 從 AutonomousAgent 例 Proposition and Proposition Process Process agent Process and CognitiveAgent 實現 Process and Proposition 例 Process and Buying 患者 Process and Process 起源 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1558-1578	AutonomousAgent offers 拍賣樣品在 MealPlan 例 MealPlan and MealPlan 類別 RelationalAttribute 的 meals 是包含在 MealPlan attribute AutonomousAgent and 旅客住宿 CognitiveAgent 是在 AutonomousAgent 的 guest CognitiveAgent buys MealPlan 從 AutonomousAgent 持有期間何時 CognitiveAgent 是在 AutonomousAgent 的 guest and entity 持有期間 entity and entity attribute entity and RelationalAttribute 有目的 entity and entity 例 entity and Eating agent entity and CognitiveAgent 患者 entity and entity
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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30002-30008	例 SymbolicString and PurchaseOrderNumber Physical CognitiveAgent, AutonomousAgent and Entity 例 Physical and PurchaseOrder CognitiveAgent buys Entity 從 AutonomousAgent SymbolicString 是 unique ID 對於 CognitiveAgent 相對於 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29856-29876	例 Entity and Invoice SymbolicString CognitiveAgent, AutonomousAgent, Entity and entity 獨特標識符 SymbolicString and Entity CognitiveAgent buys Entity 從 AutonomousAgent 賦予權利 entity 之前開始何時 Entity and 開始何時 entity 例 entity and Selling 例 entity and Product objectTransferred entity and entity 參照 Entity and entity agent entity and AutonomousAgent 患者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29883-29903	例 Entity and PurchaseOrder SymbolicString CognitiveAgent, CognitiveAgent and Entity 獨特標識符 SymbolicString and Entity CognitiveAgent buys Entity 從 CognitiveAgent 授予義務 entity 之前開始何時 Entity and 開始何時 entity 例 entity and Buying 例 Entity and Product objectTransferred entity and Entity 參照 Entity and Entity agent entity and CognitiveAgent 患者 entity and CognitiveAgent, CognitiveAgent and CognitiveAgent

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