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 | AutonomousAgent e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1566-1566 | Agente Sentiente e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14054-14054 | Area Geopolitica e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14355-14355 | Organismo e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16173-16173 | CommercialAgent e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16224-16224 | Grupo e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16610-16610 | Organizacao e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1306-1306 | ITAgent e' uma sub-classe de AutonomousAgent |