TreeView Knowledge Base Browser - totalFacilityTypeInArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

totalFacilityTypeInArea

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	Die Zahl 1 Argument von totalFacilityTypeInArea ist ein fall von GeographicArea %n{nicht}
(domain totalFacilityTypeInArea 2 Class)	Transportation.kif 1214-1214	Die Zahl 2 Argument von totalFacilityTypeInArea ist ein fall von Class %n{nicht}
(domain totalFacilityTypeInArea 3 NonnegativeInteger)	Transportation.kif 1215-1215	Die Zahl 3 Argument von totalFacilityTypeInArea ist ein fall von NonnegativeInteger %n{nicht}
(instance totalFacilityTypeInArea TernaryPredicate)	Transportation.kif 1212-1212	totalFacilityTypeInArea ist ein fall von TernaryPredicate %n{nicht}

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 58550-58550
(termFormat ChineseTraditionalLanguage totalFacilityTypeInArea "區域總設施類型")	domainEnglishFormat.kif 58549-58549
(termFormat EnglishLanguage totalFacilityTypeInArea "total facility type in area")	domainEnglishFormat.kif 58548-58548

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 1277-1287	totalFacilityTypeInArea GeographicArea, die kategorie, die AirportWithPavedRunway entspricht and NonnegativeInteger genau dann wenn es gibt SymbolicString und entity um cardinality die kategorie die SymbolicString beschreibt and NonnegativeInteger
(<=> (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (cardinality (KappaFn ?ITEM (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))) ?COUNT))	Transportation.kif 1221-1228	totalFacilityTypeInArea GeographicArea, Class and NonnegativeInteger genau dann wenn cardinality die kategorie die SymbolicString beschreibt and ** NonnegativeInteger
(=> (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 1482-1491	Wenn totalFacilityTypeInArea GeographicArea, die kategorie, die AirportWithUnpavedRunway entspricht and NonnegativeInteger und NonnegativeInteger ist groesserAls 0 %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Airport %n{nicht} und Object ist ein fall von UnpavedRunway %n{nicht} und Object ist ein teil von Object %n{nicht} und ** Object befindet sich an %n{nicht}
(=> (and (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (equal ?COUNT 0)) (not (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))))	Transportation.kif 1237-1245	Wenn totalFacilityTypeInArea GeographicArea, Class and NonnegativeInteger und NonnegativeInteger ist gleich 0 %n{nicht}, dann es gibt nicht Physical um Physical ist ein fall von Class %n{nicht} und Physical befindet sich an %n{nicht}
(=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))))	Transportation.kif 1289-1296	Wenn totalFacilityTypeInArea GeographicArea, die kategorie, die AirportWithPavedRunway entspricht and NonnegativeInteger, dann es gibt Object und Object um Object ist ein fall von Airport %n{nicht} und Object ist ein fall von PavedRunway %n{nicht} und Object ist ein teil von Object %n{nicht} und Object befindet sich an %n{nicht}
(=> (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA))))	Transportation.kif 1230-1235	Wenn totalFacilityTypeInArea GeographicArea, Class and NonnegativeInteger, dann es gibt Physical um Physical ist ein fall von Class %n{nicht} und ** Physical befindet sich an %n{nicht}

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

Show without tree

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