| YardLength(yard length)
| | pace, yard |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19098-19098 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9861-9861 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8809-8809 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19097-19097 | Yard 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 63711-63711 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63710-63710 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63709-63709 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19100-19104 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13733-13737 | 1.0 Square yard(s) is equal to the per of 1.0 yard length(s) and 1.0 yard length(s) |
|
|
|