LengthMeasure(mesure de longueur) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2403-2404 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6244-6245 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1086-1087 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8571-8571 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6242-6242 | Mesure de longueur est une sous-classe de quantit� constante |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4858-4858 | Le domaine de DatumFn est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4939-4939 | Le domaine de DiameterFn est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4958-4958 | Le domaine de RadiusFn est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1498-1498 | AltitudeMeasure est une sous-classe de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1303-1303 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1823-1823 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 981-981 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 516-516 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 520-520 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2665-2665 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 933-933 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 556-556 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 1002-1002 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 521-521 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6657-6657 | Le nombre 1 argument de SpeedFn est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6668-6668 | Le nombre 1 argument de VelocityFn est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7726-7726 | Le nombre 3 argument de altitude est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17941-17941 | Le nombre 2 argument de approximateDiameter est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1307-1307 | Le nombre 3 argument de averageRainfallForPeriod est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 212-212 | Le nombre 2 argument de caliber est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31127-31127 | Le nombre 2 argument de circumfrence est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1539-1539 | Le nombre 2 argument de cylinderBore est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13360-13360 | Le nombre 2 argument de defaultMaximumHeight est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13426-13426 | Le nombre 2 argument de defaultMaximumLength est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13480-13480 | Le nombre 2 argument de defaultMaximumSphereRadius est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13393-13393 | Le nombre 2 argument de defaultMaximumWidth est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13344-13344 | Le nombre 2 argument de defaultMinimumHeight est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13410-13410 | Le nombre 2 argument de defaultMinimumLength est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13461-13461 | Le nombre 2 argument de defaultMinimumSphereRadius est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13377-13377 | Le nombre 2 argument de defaultMinimumWidth est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7682-7682 | Le nombre 2 argument de diameter est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7704-7704 | Le nombre 3 argument de distance est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1388-1388 | Le nombre 2 argument de effectiveRange est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1892-1892 | Le nombre 2 argument de elevation est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17998-17998 | Le nombre 3 argument de geometricDistance est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7551-7551 | Le nombre 2 argument de height est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5012-5012 | Le nombre 3 argument de highTide est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2677-2677 | Le nombre 2 argument de ladenDraft est une instance de mesure de longueur |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 175-175 | Le nombre 2 argument de lengthOfBroadGaugeRailway est une instance de mesure de longueur |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4089-4121 |
|
consequent |