Buying
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3107-3108 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11892-11893 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6222-6222 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6225-6225 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6224-6224 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5895-5895 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6221-6221 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6223-6223 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11891-11891 | 购买 和 出售 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11890-11890 | 购买 是 金融交易 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1142-1142 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1501-1501 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 820-820 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 352-352 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 355-355 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2504-2504 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 772-772 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 357-357 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 391-391 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 841-841 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 356-356 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11895-11899 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11905-11916 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1940-1953 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1929-1938 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2956-2983 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2999-3026 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1841-1858 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 430-445 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29963-29972 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29974-29984 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3231-3235 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3534-3543 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3545-3555 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1312-1324 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2887-2903 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3095-3114 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3056-3073 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2754-2766 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3376-3408 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2956-2983 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 86-98 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 311-324 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2623-2639 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2687-2703 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30923-30938 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30973-30987 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30940-30954 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1257-1271 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 839-846 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |