Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| totalFacilityTypeInArea |
| appearance as argument number 1 |
|
| (instance totalFacilityTypeInArea TernaryPredicate) | Transportation.kif 1212-1212 | total facility type in area is an instance of ternary predicate |
| (domain totalFacilityTypeInArea 1 GeographicArea) | Transportation.kif 1213-1213 | The number 1 argument of total facility type in area is an instance of geographic area |
| (domain totalFacilityTypeInArea 2 Class) | Transportation.kif 1214-1214 | The number 2 argument of total facility type in area is an instance of class |
| (domain totalFacilityTypeInArea 3 NonnegativeInteger) | Transportation.kif 1215-1215 | The number 3 argument of total facility type in area is an instance of nonnegative integer |
| (documentation totalFacilityTypeInArea EnglishLanguage "(totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) means that in the GeographicArea ?AREA there a total of ?COUNT number of facilities of type ?TYPE.") | Transportation.kif 1216-1219 | The number 3 argument of total facility type in area is an instance of nonnegative integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage totalFacilityTypeInArea "%1 is %n total facility type in area %2 for %3") | domainEnglishFormat.kif 2493-2493 | |
| (format ChineseTraditionalLanguage totalFacilityTypeInArea "%1 %n 是 對於 %3 在地區 %2 的 total 設施類別") | domainEnglishFormat.kif 2494-2494 | |
| (format ChineseLanguage totalFacilityTypeInArea "%1 %n 是 对于 %3 在地区 %2 的 total 设施类别") | domainEnglishFormat.kif 2495-2495 | |
| (termFormat EnglishLanguage totalFacilityTypeInArea "total facility type in area") | domainEnglishFormat.kif 58549-58549 | |
| (termFormat ChineseTraditionalLanguage totalFacilityTypeInArea "區域總設施類型") | domainEnglishFormat.kif 58550-58550 | |
| (termFormat ChineseLanguage totalFacilityTypeInArea "区域总设施类型") | domainEnglishFormat.kif 58551-58551 |
| antecedent |
|
|
| (<=> (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (cardinality (KappaFn ?ITEM (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))) ?COUNT)) |
Transportation.kif 1221-1228 | X is total facility type in area Y for Z if and only if Z is a cardinality of the class described by W |
| (=> (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))) |
Transportation.kif 1230-1235 | If X is total facility type in area Y for Z, then there exists W such that W is an instance of Y and W is located at X |
| (=> (and (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (equal ?COUNT 0)) (not (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))))) |
Transportation.kif 1237-1245 | If X is total facility type in area Y for Z and equal Z and 0, then there doesn't exist W such that W is an instance of Y and W is located at X |
| (<=> (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 (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithUnpavedRunway) ?COUNT) (greaterThan ?COUNT 0)) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) |
Transportation.kif 1627-1636 | If X is total facility type in area the class corresponding to airport with unpaved runway for Y and Y is greater than 0, then there exist Z, W such that Z is an instance of airport, W is an instance of unpaved runway, W is a part of Z, and Z is located at X |
|