| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22616-22616 | Terrorist organization is a subclass of political organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2379-2379 | Foreign terrorist organization is a subclass of terrorist organization |
|
|