| appearance as argument number 1 |
|
| (documentation MilitaryAirport EnglishLanguage "An MilitaryAirport is an airport used as a military base by a miliatry force for the operation of MilitaryAircraft. [Wikipedia]") | MilitaryProcesses.kif 2786-2787 | |
| (subclass MilitaryAirport Airport) | MilitaryProcesses.kif 2785-2785 | Military airport is a subclass of airport |
| (subclass MilitaryAirport MilitaryInstallation) | MilitaryProcesses.kif 2784-2784 | Military airport is a subclass of military installation |
| appearance as argument number 2 |
|
|
| (names "aerial port" MilitaryAirport) | MilitaryProcesses.kif 2788-2788 | Military airport has name "aerial port" |
| (subclass AircraftCarrier MilitaryAirport) | MilitaryProcesses.kif 2783-2783 | Aircraft carrier is a subclass of military airport |
| (termFormat EnglishLanguage MilitaryAirport "military airport") | MilitaryProcesses.kif 3028-3028 | Aircraft carrier is a subclass of military airport |
| antecedent |
|
|
| (=> (instance ?A MilitaryAirport) (hasPurpose ?A (exists (?M) (and (instance ?M MilitaryAircraft) (or (capableAtLocation TakingOff origin ?M ?A) (capableAtLocation Landing destination ?M ?A)))))) |
MilitaryProcesses.kif 2790-2798 |
|
|
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