Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MilitaryAirport(military airport) |
| appearance as argument number 1 |
|
| (subclass MilitaryAirport MilitaryInstallation) | MilitaryProcesses.kif 2808-2808 | Military airport is a subclass of military installation |
| (subclass MilitaryAirport Airport) | MilitaryProcesses.kif 2809-2809 | Military airport is a subclass of airport |
| (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 2810-2811 | Military airport is a subclass of airport |
| appearance as argument number 2 |
|
|
| (subclass AircraftCarrier MilitaryAirport) | MilitaryProcesses.kif 2807-2807 | Aircraft carrier is a subclass of military airport |
| (names "aerial port" MilitaryAirport) | MilitaryProcesses.kif 2812-2812 | Military airport has name "aerial port" |
| (termFormat EnglishLanguage MilitaryAirport "military airport") | MilitaryProcesses.kif 3052-3052 | Military airport has name "aerial port" |
| 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 2814-2822 | If X is an instance of military airport, then X has the purpose there exists Y such that Y is an instance of military aircraft and taking off capable at location origin for Y with X or landing capable at location destination for Y with X |
|