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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadialBranchesInTheForearm

 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 8491-8492
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 8490-8490 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 8515-8515 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 8494-8501


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