GameCall
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20611-20612 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2962-2962 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3115-3115 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20610-20610 | Housewife est un sous-attribut de Unemployed |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28779-28779 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28778-28778 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28777-28777 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20614-20617 |