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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElementaryAndSecondarySchools
ElementaryAndSecondarySchools(elementary and secondary schools)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10735-10737
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10931-10931
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10935-10935
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10934-10934
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10930-10930
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9998-9998
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10932-10932
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10933-10933
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10927-10927
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10936-10936
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10928-10928
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10929-10929
No TPTP formula. May not be expressible in strict first order. naics.kif 10733-10733 Elementary and secondary schools is a subattribute of educational services

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21798-21798
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21797-21797
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21796-21796


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