Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
AirportWithPavedRunway(airport with paved runway)
|
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirportWithPavedRunway "airport with paved runway") | domainEnglishFormat.kif 6251-6251 | |
| (termFormat ChineseTraditionalLanguage AirportWithPavedRunway "機場有著鋪設跑道") | domainEnglishFormat.kif 6252-6252 | |
| (termFormat ChineseLanguage AirportWithPavedRunway "机场有着铺设跑道") | domainEnglishFormat.kif 6253-6253 |
| antecedent |
|
|
| (<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (cardinality (KappaFn ?AIRPORT (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))) ?COUNT))) |
Transportation.kif 1349-1359 | X is total facility type in area the class corresponding to airport with paved runway for Y if, only if there exist Z, and W such that Y is a cardinality of the class described by Z |
| (=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) |
Transportation.kif 1361-1368 | If X is total facility type in area the class corresponding to airport with paved runway for Y, then there exist Z, W such that Z is an instance of airport, W is an instance of paved runway, W is a part of Z, and Z is located at X |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1502-1509 | If X is an instance of airport and airport with paved runway is an attribute of X, then there exists Y such that Y is an instance of paved runway and Y is a part of X |
|