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 | 例 腳長 and UnitOfLength |
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 1394-1401 |
|
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 19072-19076 |
|
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 1553-1562 |
|
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 and 推測 and 測量 6.0 and 腳長 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3861-3863 | 等於 測量 1.0 and 海裡 and 測量 6076.1 and 腳長 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7186-7188 | 等於 測量 RealNumber and 腳長 and 測量 乘法 RealNumber and 0.3048 and 儀表 |