approximateDiameter |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19507-19507 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19505-19506 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19512-19512 | The number 1 argument of approximate diameter is an instance of self connected object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19513-19513 | The number 2 argument of approximate diameter is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19515-19515 | approximate diameter is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19516-19516 | approximate diameter is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19517-19517 | approximate diameter is an instance of total valued relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2814-2814 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2813-2813 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2812-2812 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19510-19510 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19509-19509 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |