cooccur |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2726-2728 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8392-8396 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1451-1453 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8389-8389 | Le nombre 1 argument de cooccur est une instance de physique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8390-8390 | Le nombre 2 argument de cooccur est une instance de physique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8386-8386 | cooccur est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8388-8388 | cooccur est une instance de relation �quivalente |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8387-8387 | cooccur est une instance de relation temporel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 439-439 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 445-445 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 254-254 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 59-59 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2048-2048 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 206-206 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 260-260 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 573-573 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 100-100 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 275-275 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 278-278 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 93-93 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17148-17148 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 440-440 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17147-17147 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17146-17146 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 135-135 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8398-8400 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 751-762 | PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8402-8404 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26861-26870 |