Near
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3828-3829 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17129-17130 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10144-10144 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11500-11500 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11499-11499 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11497-11497 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11501-11501 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11496-11496 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11498-11498 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17128-17128 | Near est une instance de SymmetricPositionalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40035-40035 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40034-40034 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40033-40033 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 538-538 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 44-59 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17132-17135 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17137-17139 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 720-722 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17103-17107 | Objet est Adjacent � objet objet est Near � objet objet est connect� � objet |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6237-6246 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 224-231 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1439-1448 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13282-13287 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 841-850 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 873-882 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5942-5947 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15662-15667 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 742-750 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3958-3969 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 910-915 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6671-6678 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17137-17139 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 720-722 |