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

Formal Language: 



KB Term:  Term intersection
English Word: 

  reservationChannel

 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 4394-4394
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4393-4393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4392-4392
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65923-65923

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


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


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