Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AirlineCodeMap(airline code map) |
| appearance as argument number 1 |
|
| (subclass AirlineCodeMap CodeMap) | Transportation.kif 4576-4576 | Airline code map is a subclass of code map |
| (documentation AirlineCodeMap EnglishLanguage "AirlineCodeMap denotes the SymbolicString used by different aviation organizations to identify Airline") | Transportation.kif 4577-4578 | Airline code map is a subclass of code map |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirlineCodeMap "airline code map") | Transportation.kif 4579-4579 |
| antecedent |
|
|
| (=> (and (instance ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR))) |
Transportation.kif 4581-4587 | If X is an instance of airline code map and Y in X denotes Z, then Z is an instance of Airline and Y expresses Z |
|