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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArmoredCarServices

 Sigma KEE - ArmoredCarServices
ArmoredCarServices(armored car services)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10526-10529
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8347-8347
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8897-8897
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8898-8898
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8899-8899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8900-8900
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8901-8901
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8902-8902
No TPTP formula. May not be expressible in strict first order. naics.kif 10524-10524 Armored car services is a subattribute of investigation guard and armored car services

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8430-8430
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8429-8429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8428-8428


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