TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint PavedRunway UnpavedRunway)	Transportation.kif 1485-1485	Paved runway is disjoint from unpaved runway
(documentation PavedRunway EnglishLanguage "PavedRunway is the subclass of Runways that are surfaced with concrete or asphalt.")	Transportation.kif 1302-1303
(subclass PavedRunway Runway)	Transportation.kif 1301-1301	Paved runway is a subclass of runway

appearance as argument number 2

(termFormat ChineseLanguage PavedRunway "铺好的跑道")	domainEnglishFormat.kif 44833-44833
(termFormat ChineseTraditionalLanguage PavedRunway "鋪好的跑道")	domainEnglishFormat.kif 44832-44832
(termFormat EnglishLanguage PavedRunway "paved runway")	domainEnglishFormat.kif 44831-44831

antecedent

(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))

Transportation.kif 1305-1311

If a self connected object is an instance of paved runway and another self connected object is a surface of the self connected object,
then the other self connected object is an instance of asphalt or the other self connected object is an instance of concrete

consequent

(<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (cardinality (KappaFn ?AIRPORT (exists (?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) ?COUNT))	Transportation.kif 1266-1276	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 the nonnegative integer is a cardinality of the class described by a symbolic string
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1346-1353	If an object is an instance of airport and airport with paved runway is an attribute of the object, then there exists another object such that the other object is an instance of paved runway and the other object is a part of the object
(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Asphalt)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1313-1318	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of asphalt, then the self connected object is an instance of paved runway
(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1320-1325	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of concrete, then the self connected object is an instance of paved runway
(=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))))	Transportation.kif 1278-1285	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

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

KB Term:			Term intersection

English Word: