![]() |
![]() ![]() ![]()
|
![]() |
|
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 6230-6231 | |
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 8572-8572 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6228-6228 | Length measure is a subclass of constant quantity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4760-4760 | The range of datum is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4917-4917 | The range of diameter is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4931-4931 | The range of radius is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1498-1498 | Altitude measure is a subclass of length measure |
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 518-518 | |
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 6643-6643 | The number 1 argument of speed is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6654-6654 | The number 1 argument of velocity is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7690-7690 | The number 3 argument of altitude is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17789-17789 | The number 2 argument of approximate diameter is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1307-1307 | The number 3 argument of average rainfall for period is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 212-212 | The number 2 argument of caliber is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31239-31239 | The number 2 argument of circumfrence is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1536-1536 | The number 2 argument of cylinder bore is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13232-13232 | The number 2 argument of default maximum height is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13298-13298 | The number 2 argument of default maximum length is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13351-13351 | The number 2 argument of default maximum sphere radius is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13265-13265 | The number 2 argument of default maximum width is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13216-13216 | The number 2 argument of default minimum height is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13282-13282 | The number 2 argument of default minimum length is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13332-13332 | The number 2 argument of default minimum sphere radius is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13249-13249 | The number 2 argument of default minimum width is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7650-7650 | The number 2 argument of diameter is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7668-7668 | The number 3 argument of distance is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1360-1360 | The number 2 argument of effective range is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1890-1890 | The number 2 argument of elevation is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17861-17861 | The number 3 argument of geometric distance is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7537-7537 | The number 2 argument of height is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4914-4914 | The number 3 argument of high tide is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2677-2677 | The number 2 argument of laden draft is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 175-175 | The number 2 argument of length of broad gauge railway is an instance of length measure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6344-6348 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1305-1310 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 830-835 |
|
![]() |
![]() |