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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USCustomsAndBorderProtection

Sigma KEE - USCustomsAndBorderProtection
USCustomsAndBorderProtection

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4767-4770
No TPTP formula. May not be expressible in strict first order. Government.kif 4761-4761 USCustomsAndBorderProtection e' uma instancia de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order. Government.kif 4771-4771 USCustomsAndBorderProtection e' uma instancia de PoliceOrganization
No TPTP formula. May not be expressible in strict first order. Government.kif 4765-4765 USCustomsAndBorderProtection e' uma parte da organizacao DepartmentOfHomelandSecurity

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4762-4762 conventionalLongName "US Customs and Border Protection" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order. Government.kif 4764-4764 conventionalShortName "Border Patrol" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order. Government.kif 4763-4763 conventionalShortName "US Border Patrol" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60820-60820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60819-60819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60818-60818


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