Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IACOAirlineCode(IACO airline code) |
| appearance as argument number 1 |
|
| (instance IACOAirlineCode CodeMap) | Transportation.kif 4602-4602 | IACO airline code is an instance of code map |
| (documentation IACOAirlineCode EnglishLanguage "The 3-character tag given to an Airline by the InternationalCivilAviationOrganization to represent that Airline at any Airport") | Transportation.kif 4603-4604 | IACO airline code is an instance of code map |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IACOAirlineCode "IACO airline code") | Transportation.kif 4605-4605 |
| antecedent |
|
|
| (=> (codeMapping IACOAirlineCode ?STR ?AIR) (member ?AIR InternationalCivilAviationOrganization)) |
Transportation.kif 4607-4609 | If X in IACO airline code denotes Y, then Y is a member of international civil aviation organization |
| (=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR))) |
Transportation.kif 4611-4613 | If X in IACO airline code denotes Y, then equal 3 and the length of X |
|