| DepartmentOfHomelandSecurity(department of homeland security)
| | Department_of_Homeland_Security, Homeland_Security |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4790-4790 | The year 2002 is a date established of department of homeland security |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4792-4795 | The year 2002 is a date established of department of homeland security |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4645-4645 | The year 2002 is a date established of department of homeland security |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4788-4788 | Department of homeland security is an instance of government organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4789-4789 | Department of homeland security is a part of the organization the government of united states |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4797-4797 | Department of homeland security has name "Department of Homeland Security" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4762-4762 | US customs and border protection is a part of the organization department of homeland security |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19101-19101 | US customs and border protection is a part of the organization department of homeland security |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19100-19100 | US customs and border protection is a part of the organization department of homeland security |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19099-19099 | US customs and border protection is a part of the organization department of homeland security |
|
|
|