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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Library

Sigma KEE - Library
Library(library)
circulating_library, lending_library, library

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8464-8465
No TPTP formula. May not be expressible in strict first order. pictureList.kif 557-557
No TPTP formula. May not be expressible in strict first order. pictureList.kif 124-124
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8463-8463 Library is a subclass of educational organization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8488-8488 Public library is a subclass of library
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34265-34265
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34264-34264
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34263-34263

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8467-8474


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