Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (instance FEU UnitOfVolume) | Transportation.kif 3141-3141 | Feu is an instance of unit of volume |
| (documentation FEU EnglishLanguage "FEU (Forty_foot equivalent unit) is the capacity of a FortyFtContainer. It is defined as equal to two TEU. [Wikipedia]") | Transportation.kif 3142-3143 | Feu is an instance of unit of volume |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept TEU FEU) | Transportation.kif 3127-3127 | Teu is internally related to feu |
| (names "forty_foot equivalent unit" FEU) | Transportation.kif 3144-3144 | Feu has name "forty_foot equivalent unit" |
| (termFormat EnglishLanguage FEU "feu") | domainEnglishFormat.kif 23576-23576 | Feu has name "forty_foot equivalent unit" |
| consequent |
|
|
| (=> (instance ?X FortyFtContainer) (measure ?X (MeasureFn 1 FEU))) |
Transportation.kif 3146-3149 | If X is an instance of forty foot container, then the measure of X is 1 feu(s) |
| statement |
|
|
| (equal (MeasureFn 1 FEU) (MeasureFn 2 TEU)) |
Transportation.kif 3151-3153 | equal 1 feu(s) and 2 teu(s) |
|