Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExtensionFn |
| appearance as argument number 1 |
|
| (instance ExtensionFn UnaryFunction) | Merge.kif 1850-1850 | Extension is an instance of unary function |
| (instance ExtensionFn PartialValuedRelation) | Merge.kif 1851-1851 | Extension is an instance of partial valued relation |
| (domain ExtensionFn 1 Attribute) | Merge.kif 1852-1852 | The number 1 argument of extension is an instance of attribute |
| (range ExtensionFn Class) | Merge.kif 1853-1853 | The range of extension is an instance of class |
| (documentation ExtensionFn EnglishLanguage "A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute.") | Merge.kif 1855-1856 | The range of extension is an instance of class |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExtensionFn "extension") | domainEnglishFormat.kif 22984-22984 | |
| (termFormat ChineseTraditionalLanguage ExtensionFn "延期") | domainEnglishFormat.kif 22985-22985 | |
| (termFormat ChineseLanguage ExtensionFn "延期") | domainEnglishFormat.kif 22986-22986 | |
| (format EnglishLanguage ExtensionFn "the class corresponding to %1") | english_format.kif 262-262 |
| 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 (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 |
| consequent |
|
|
| (=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid))) |
Transportation.kif 777-783 | If X is an instance of pipeline, Y is an instance of motion, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of the class corresponding to fluid |
| (=> (instance ?SHIP LiquefiedGasTankerShip) (cargoType ?SHIP (ExtensionFn Liquid))) |
Transportation.kif 2575-2577 | If X is an instance of liquefied gas tanker ship, then the class corresponding to liquid is a cargo type of X |
| (=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid))) |
Transportation.kif 2616-2618 | If X is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of X |
| statement |
|
|
| (cardinality (ExtensionFn DevelopedCountry) 35) |
Economy.kif 144-144 | 35 is a cardinality of the class corresponding to developed country |
| (cardinality (ExtensionFn LessDevelopedCountry) 172) |
Economy.kif 229-229 | 172 is a cardinality of the class corresponding to less developed country |
| (cardinality (ExtensionFn LeastDevelopedCountry) 42) |
Economy.kif 405-405 | 42 is a cardinality of the class corresponding to least developed country |
| (cardinality (ExtensionFn DevelopingCountry) 126) |
Economy.kif 613-613 | 126 is a cardinality of the class corresponding to developing country |
| (subclass Atmosphere (ExtensionFn Fluid)) |
Weather.kif 11-11 | Atmosphere is a subclass of the class corresponding to fluid |
|