![]() |
![]() ![]() ![]()
|
![]() |
|
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 6148-6149 | |
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 6146-6146 | 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 4756-4756 | 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 4672-4672 | 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 4686-4686 | 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 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6561-6561 | 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 6572-6572 | 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 7608-7608 | 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 17334-17334 | 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 1312-1312 | 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 30510-30510 | 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 cylinderBore is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12823-12823 | 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 12892-12892 | 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 12947-12947 | 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 12858-12858 | 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 12806-12806 | 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 12876-12876 | 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 12928-12928 | 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 12841-12841 | 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 7568-7568 | 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 7586-7586 | 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 1345-1345 | 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 1895-1895 | 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 17707-17707 | 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 7455-7455 | 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 4910-4910 | The number 3 argument of highTide is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2684-2684 | 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 6262-6266 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1531-1546 |
|
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 837-842 |
|
![]() |
![]() |