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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - facility
facility

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 324-325
No TPTP formula. May not be expressible in strict first order. Dining.kif 327-327 The number 1 argument of facility is an instance of agent
No TPTP formula. May not be expressible in strict first order. Dining.kif 326-326 The number 2 argument of facility is an instance of object
No TPTP formula. May not be expressible in strict first order. Dining.kif 323-323 facility is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3399-3399
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3398-3398
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3397-3397
No TPTP formula. May not be expressible in strict first order. Dining.kif 328-328

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346


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