Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  VeryLongRunwayAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance VeryLongRunwayAirport CIAAirportLengthClassification) | Transportation.kif 1604-1604 | Very long runway airport is an instance of CIA airport length classification |
| (documentation VeryLongRunwayAirport EnglishLanguage "VeryLongRunwayAirport is a CIA category for Airports whose longest runway has a length greater than 3,047 meters.") | Transportation.kif 1605-1607 | Very long runway airport is an instance of CIA airport length classification |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VeryLongRunwayAirport "very long runway airport") | domainEnglishFormat.kif 61563-61563 | |
| (termFormat ChineseTraditionalLanguage VeryLongRunwayAirport "很長的跑道機場") | domainEnglishFormat.kif 61564-61564 | |
| (termFormat ChineseLanguage VeryLongRunwayAirport "很长的跑道机场") | domainEnglishFormat.kif 61565-61565 |
| antecedent |
|
|
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryLongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (greaterThan ?LENGTH 3047)))) |
Transportation.kif 1609-1619 | If X is an instance of airport and very long runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than 3047 |
|