AirportWithUnpavedRunway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AirportWithUnpavedRunway

AirportWithUnpavedRunway(airport with unpaved runway)

appearance as argument number 1

(documentation AirportWithUnpavedRunway EnglishLanguage "AirportWithUnpavedRunway is an AirportClassification attribute used to describe an airport whose longest runway is an UnpavedRunway.")	Transportation.kif 1496-1498
(instance AirportWithUnpavedRunway AirportByRunwaySurface)	Transportation.kif 1495-1495	Airport with unpaved runway is an instance of airport by runway surface

appearance as argument number 2

(termFormat ChineseLanguage AirportWithUnpavedRunway "机场有着未铺砌的跑道")	domainEnglishFormat.kif 6260-6260
(termFormat ChineseTraditionalLanguage AirportWithUnpavedRunway "機場有著未鋪砌的跑道")	domainEnglishFormat.kif 6259-6259
(termFormat EnglishLanguage AirportWithUnpavedRunway "airport with unpaved runway")	domainEnglishFormat.kif 6258-6258

antecedent

(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithUnpavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1500-1507	If an object is an instance of airport and airport with unpaved runway is an attribute of the object, then there exists another object such that the other object is an instance of unpaved runway and the other object is a part of the object
(=> (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

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