Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AircraftCarrier
AircraftCarrier(aircraft carrier)
aircraft_carrier, attack_aircraft_carrier, carrier, flattop

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


(subclass AircraftCarrier MilitaryAirport) MilitaryProcesses.kif 2807-2807 Aircraft carrier is a subclass of military airport
(subclass AircraftCarrier Warship) Transportation.kif 2645-2645 Aircraft carrier is a subclass of warship
(documentation AircraftCarrier EnglishLanguage "A MilitaryShip on which MilitaryAircraft can land and take off.") Transportation.kif 2646-2647 Aircraft carrier is a subclass of warship
(externalImage AircraftCarrier "http://articulatesoftware.com/SUMOpictures/ armed_services/ Navy/ aircraft_carrier_3.png") pictureList.kif 212-212 Aircraft carrier is a subclass of warship
(externalImage AircraftCarrier "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ INS_Viraat_%28R22%29_Malabar_07.jpg") pictureList.kif 2071-2071 Aircraft carrier is a subclass of warship

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


(termFormat EnglishLanguage AircraftCarrier "aircraft carrier") domainEnglishFormat.kif 6133-6133
(termFormat ChineseTraditionalLanguage AircraftCarrier "航空母艦") domainEnglishFormat.kif 6134-6134
(termFormat ChineseLanguage AircraftCarrier "航空母舰") domainEnglishFormat.kif 6135-6135

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


(=>
    (instance ?C AircraftCarrier)
    (hasPurpose ?C
        (exists (?A ?T ?CLASS)
            (and
                (instance ?A Aircraft)
                (patient ?T ?A)
                (instance ?T ?CLASS)
                (or
                    (and
                        (capability ?CLASS origin ?C)
                        (subclass ?CLASS TakingOff))
                    (and
                        (capability ?CLASS destination ?C)
                        (subclass ?CLASS Landing)))))))		 Transportation.kif 2649-2663 If X is an instance of aircraft carrier, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of aircraft (3) Y is a patient of Z (4) Z is an instance of W (5) X is capable of doing W as a origin (6) W is a subclass of taking off or X is capable of doing W as a destination (7) W is a subclass of landing
(=>
    (instance ?AC AircraftCarrier)
    (exists (?FD)
        (and
            (instance ?FD FlightDeck)
            (part ?FD ?AC))))		 Transportation.kif 2665-2670 If X is an instance of aircraft carrier, then there exists Y such that Y is an instance of FlightDeck and Y is a part of X
(=>
    (instance ?AC AircraftCarrier)
    (exists (?H)
        (and
            (instance ?H Hangar)
            (component ?H ?AC))))		 Transportation.kif 2672-2677 If X is an instance of aircraft carrier, then there exists Y such that Y is an instance of Hangar and Y is a component of X
(=>
    (instance ?AC AircraftCarrier)
    (exists (?CT)
        (and
            (instance ?CT ControlTower)
            (component ?CT ?AC))))		 Transportation.kif 2679-2684 If X is an instance of aircraft carrier, then there exists Y such that Y is an instance of ControlTower and Y is a component of X
(=>
    (instance ?AC AircraftCarrier)
    (exists (?AG)
        (and
            (instance ?AG ArrestingGear)
            (part ?AG ?AC))))		 Transportation.kif 2686-2691 If X is an instance of aircraft carrier, then there exists Y such that Y is an instance of ArrestingGear and Y is a part of X
(=>
    (instance ?AC AircraftCarrier)
    (exists (?ACAT)
        (and
            (instance ?ACAT AircraftCatapult)
            (part ?ACAT ?AC))))		 Transportation.kif 2693-2698 If X is an instance of aircraft carrier, then there exists Y such that Y is an instance of AircraftCatapult and Y is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners