Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Airport
Airport(airport)
aerodrome, air_terminal, airdrome, airfield, airport, airport_terminal, airstrip, drome, field, flight_strip, flying_field, landing_field, landing_strip, strip

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1268-1269
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1627-1627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2080-2080
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1022-1022
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1266-1266 Airport is a subclass of air transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1267-1267 Airport is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1265-1265 Airport is a subclass of transit terminal

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2768-2768 Military airport is a subclass of airport
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6231-6231 Military airport is a subclass of airport
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6230-6230 Military airport is a subclass of airport
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6229-6229 Military airport is a subclass of airport

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1295-1295 The number 1 argument of number of aprons is an instance of airport
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1437-1437 The number 1 argument of number of runways is an instance of airport
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1454-1454 The number 1 argument of number of taxiways is an instance of airport

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1486-1493
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1500-1507
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1574-1586
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1555-1567
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1536-1548
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1593-1603
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1520-1529
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3155-3157

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1611-1620
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1275-1280
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1311-1316
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2869-2874
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2082-2091
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1414-1419
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1361-1368


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