FootLength
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2591-2591 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7184-7184 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1300-1300 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9232-9232 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9231-9231 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7182-7182 | Foot length is an instance of unit of length |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24614-24614 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24613-24613 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24612-24612 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1398-1405 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 148-157 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4772-4777 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4837-4842 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3903-3910 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3844-3848 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19073-19077 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 904-906 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1557-1566 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1967-1973 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3842-3842 | 1.0 Fathom(s) is equal to 6.0 foot length(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3861-3863 | 1.0 Nautical mile(s) is equal to 6076.1 foot length(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7186-7188 | A real number foot length(s) is equal to the real number and 0.3048 meter(s) |