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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmbulanceServices
AmbulanceServices(ambulance services)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11064-11067
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8333-8333
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8852-8852
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8853-8853
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8854-8854
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8855-8855
No TPTP formula. May not be expressible in strict first order. naics.kif 11062-11062 Ambulance services is a subattribute of other ambulatory health care services

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7134-7134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7133-7133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7132-7132


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