![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SquareFoot(square foot) |
| appearance as argument number 1 |
|
|
| (instance SquareFoot UnitOfArea) | Mid-level-ontology.kif 15208-15208 | Square foot is an instance of unit of area |
| (documentation SquareFoot EnglishLanguage "SquareFoot is a unit for measuring area, equal to one foot length by one foot width.") | Mid-level-ontology.kif 15209-15210 | Square foot is an instance of unit of area |
| (equal SquareFoot (SquareUnitFn FootLength)) |
Mid-level-ontology.kif 15212-15212 | equal square foot and the square unit of foot length |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SquareFoot "square foot") | domainEnglishFormat.kif 65536-65536 |