Circle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2647-2648 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7639-7641 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1364-1365 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 346-346 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 67-67 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7637-7637 | Circle est un sous-attribut de Oval |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25641-25641 | DiskShaped est un sous-attribut de Circle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14862-14862 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14861-14861 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14860-14860 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1541-1549 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7650-7655 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7643-7648 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31177-31179 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7708-7710 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4943-4946 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4962-4965 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7665-7668 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 964-973 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7687-7689 |