No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3738-3742 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2617-2622 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | Agent is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1566-1566 | Sentient agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14054-14054 | Geopolitical area is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14355-14355 | Organism is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16173-16173 | Commercial agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16224-16224 | Group is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16610-16610 | Organization is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1306-1306 | IT agent is a subclass of agent |