AircraftCarrier - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2636-2637
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 212-212
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2071-2071
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2766-2766	Aircraft carrier is a subclass of military airport
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2635-2635	Aircraft carrier is a subclass of military ship

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6135-6135
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6134-6134
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6133-6133

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 2639-2653

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