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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USCustomsAndBorderProtection

Sigma KEE - USCustomsAndBorderProtection
USCustomsAndBorderProtection(US customs and border protection)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4803-4806
No TPTP formula. May not be expressible in strict first order. Government.kif 4797-4797 US customs and border protection is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4807-4807 US customs and border protection is an instance of police organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4801-4801 US customs and border protection is a part of the organization department of homeland security

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4798-4798 US customs and border protection is a conventional long name of "US Customs and Border Protection"
No TPTP formula. May not be expressible in strict first order. Government.kif 4800-4800 US customs and border protection is a conventional short name of "Border Patrol"
No TPTP formula. May not be expressible in strict first order. Government.kif 4799-4799 US customs and border protection is a conventional short name of "US Border Patrol"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60818-60818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60817-60817
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60816-60816


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