roleApprovesRole |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1624-1627 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1620-1620 | Le nombre 1 argument de roleApprovesRole est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1621-1621 | Le nombre 2 argument de roleApprovesRole est une instance de r�le social |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1622-1622 | Le nombre 3 argument de roleApprovesRole est une instance de r�le social |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1619-1619 | roleApprovesRole est une instance de pr�dicat ternaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2175-2175 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2174-2174 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2173-2173 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50272-50272 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50271-50271 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50270-50270 |