groupMember |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7585-7587 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7583-7583 | O argumento numero 1 de groupMember e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7584-7584 | O argumento numero 2 de groupMember e' uma instancia de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7582-7582 | groupMember e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7581-7581 | groupMember e' uma sub-relacao de member |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3562-3562 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3561-3561 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3560-3560 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26736-26736 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26735-26735 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26734-26734 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7589-7596 |
|