Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - reservationChannel
reservationChannel

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 668-670
No TPTP formula. May not be expressible in strict first order. Dining.kif 671-671 The number 1 argument of reservation channel is an instance of physical
No TPTP formula. May not be expressible in strict first order. Dining.kif 672-672 The number 2 argument of reservation channel is an instance of reservation
No TPTP formula. May not be expressible in strict first order. Dining.kif 667-667 reservation channel is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4398-4398
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4397-4397
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4396-4396
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65944-65944

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 674-680


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