TreeView Knowledge Base Browser - corkageFee

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - corkageFee

corkageFee

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 116-117
No TPTP formula. May not be expressible in strict first order.	Dining.kif 119-119	域 corkageFee, 1 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Dining.kif 121-121	域 corkageFee, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 120-120	域子類 corkageFee, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 115-115	例 corkageFee and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3130-3130
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3129-3129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3128-3128
No TPTP formula. May not be expressible in strict first order.	Dining.kif 118-118

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

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