totalFacilityTypeInArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - totalFacilityTypeInArea

totalFacilityTypeInArea

appearance as argument number 1

(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
(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
(instance totalFacilityTypeInArea TernaryPredicate)	Transportation.kif 1212-1212	total facility type in area is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage totalFacilityTypeInArea "%1 %n 是对于 %3 在地区 %2 的 total 设施类别")	domainEnglishFormat.kif 2491-2491
(format ChineseTraditionalLanguage totalFacilityTypeInArea "%1 %n 是對於 %3 在地區 %2 的 total 設施類別")	domainEnglishFormat.kif 2490-2490
(format EnglishLanguage totalFacilityTypeInArea "%1 is %n total facility type in area %2 for %3")	domainEnglishFormat.kif 2489-2489
(termFormat ChineseLanguage totalFacilityTypeInArea "区域总设施类型")	domainEnglishFormat.kif 58589-58589
(termFormat ChineseTraditionalLanguage totalFacilityTypeInArea "區域總設施類型")	domainEnglishFormat.kif 58588-58588
(termFormat EnglishLanguage totalFacilityTypeInArea "total facility type in area")	domainEnglishFormat.kif 58587-58587

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	A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if there exist a symbolic string and an entity such that the nonnegative integer is a cardinality of the class described by the symbolic string
(<=> (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (cardinality (KappaFn ?ITEM (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))) ?COUNT))	Transportation.kif 1221-1228	A geographic area is total facility type in area a class for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string
(=> (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 1611-1620	If a geographic area is total facility type in area the class corresponding to airport with unpaved runway for a nonnegative integer and the nonnegative integer is greater than 0, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of unpaved runway and the other object is a part of the object and the object is located at the geographic area
(=> (and (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (equal ?COUNT 0)) (not (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))))	Transportation.kif 1237-1245	If a geographic area is total facility type in area a class for a nonnegative integer and the nonnegative integer is equal to 0, then there doesn't exist a physical such that the physical is an instance of the class and the physical is located at the geographic area
(=> (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 a geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of paved runway and the other object is a part of the object and the object is located at the geographic area
(=> (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))))	Transportation.kif 1230-1235	If a geographic area is total facility type in area a class for a nonnegative integer, then there exists a physical such that the physical is an instance of the class and the physical is located at the geographic area

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners