TreeView Knowledge Base Browser - Library

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 8463-8464
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 8462-8462	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 8487-8487	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 8466-8473

If an agent is an instance of library,
then there exist an object and a physical such that the agent possesses the object and the object is an instance of library building and the physical is an instance of text and the physical is located at the object

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