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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AircraftCarrier

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

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


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

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


(termFormat ChineseLanguage AircraftCarrier "航空母舰") domainEnglishFormat.kif 6130-6130
(termFormat ChineseTraditionalLanguage AircraftCarrier "航空母艦") domainEnglishFormat.kif 6129-6129
(termFormat EnglishLanguage AircraftCarrier "aircraft carrier") domainEnglishFormat.kif 6128-6128

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 ?C)))))))
Transportation.kif 2630-2644


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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