TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AircraftCarrier EnglishLanguage "A MilitaryShip on which MilitaryAircraft can land and take off.")	Transportation.kif 2464-2465
(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 MilitaryShip)	Transportation.kif 2463-2463	Aircraft carrier is a subclass of military ship

appearance as argument number 2

(termFormat ChineseLanguage AircraftCarrier "航空母舰")	domainEnglishFormat.kif 6126-6126
(termFormat ChineseTraditionalLanguage AircraftCarrier "航空母艦")	domainEnglishFormat.kif 6125-6125
(termFormat EnglishLanguage AircraftCarrier "aircraft carrier")	domainEnglishFormat.kif 6124-6124

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 2467-2481

If a physical is an instance of aircraft carrier,
then the physical has the purpose there exist an entity, another entity and the physicalLASS such that the entity is an instance of AirCraft and the entity is a patient of the other entity and the other entity is an instance of the physicalLASS and the physical is capable of doing the physicalLASS as a origin and the physicalLASS is a subclass of taking off or the physical is capable of doing the physicalLASS as a destination and the physicalLASS is a subclass of landing

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

KB Term:			Term intersection

English Word: