| SquareMile | |
| appearance as argument number 1 |
|
|
| (documentation SquareMile EnglishLanguage "SquareMile represents a UnitOfMeasure equal to one square Mile.") | Mid-level-ontology.kif 15072-15073 | |
| (equal SquareMile (SquareUnitFn Mile)) |
Mid-level-ontology.kif 15075-15075 | SquareMile は SquareUnitFn Mile と equal では |
| (instance SquareMile UnitOfArea) | Mid-level-ontology.kif 15071-15071 | SquareMile は UnitOfArea の instance では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SquareMile "平方英里") | domainEnglishFormat.kif 54886-54886 | |
| (termFormat ChineseTraditionalLanguage SquareMile "平方英里") | domainEnglishFormat.kif 54885-54885 | |
| (termFormat EnglishLanguage SquareMile "square mile") | domainEnglishFormat.kif 54884-54884 |
|
|
|