TreeView Knowledge Base Browser - AirportWithPavedRunway

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AirportWithPavedRunway

Sigma KEE - AirportWithPavedRunway

AirportWithPavedRunway

appearance as argument number 1

(documentation AirportWithPavedRunway EnglishLanguage "AirportWithPavedRunway is an AirportClassification attribute used to describe an airport whose longest runway is a PavedRunway.")	Transportation.kif 1482-1484
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0f/ Airport_overhead.jpg")	pictureList.kif 2087-2087
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Flughafen_Frankfurt_am_Main.JPG")	pictureList.kif 1631-1631
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8b/ KLM_777_pushback.jpg")	pictureList.kif 2086-2086
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ HFX_Airport_4.jpg")	pictureList.kif 2084-2084
(instance AirportWithPavedRunway AirportByRunwaySurface)	Transportation.kif 1481-1481	AirportWithPavedRunway is an instance of AirportByRunwaySurface

appearance as argument number 2

(termFormat ChineseLanguage AirportWithPavedRunway "机场有着铺设跑道")	domainEnglishFormat.kif 6253-6253
(termFormat ChineseTraditionalLanguage AirportWithPavedRunway "機場有著鋪設跑道")	domainEnglishFormat.kif 6252-6252
(termFormat EnglishLanguage AirportWithPavedRunway "airport with paved runway")	domainEnglishFormat.kif 6251-6251

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	totalFacilityTypeInArea a geographic area, the class corresponding to AirportWithPavedRunway and a nonnegative integer if and only if there exist a symbolic string and an entity such that cardinality the class described by the symbolic string and the nonnegative integer
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1486-1493	If an object is an instance of Airport and AirportWithPavedRunway is an attribute of the object, then there exists another object such that the other object is an instance of PavedRunway and the other object is a part of the object
(=> (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 totalFacilityTypeInArea a geographic area, the class corresponding to AirportWithPavedRunway and 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 PavedRunway and the other object is a part of the object and the object is located at the geographic area

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