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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirTransitway
AirTransitway(air transitway)
air_lane, airway, approach_pattern, flight_path, line_of_flight, pattern, skyway, traffic_pattern

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1248-1249
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1023-1023
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1247-1247 Air transitway is a subclass of transitway

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


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. domainEnglishFormat.kif 6294-6294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6293-6293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6292-6292

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1250-1257

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1259-1263


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