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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Spacecraft
LEM, ballistic_capsule, capsule, lander, lunar_excursion_module, lunar_module, space_capsule, space_shuttle, space_vehicle, spacecraft, spaceship, starship

appearance as argument number 1

(documentation Spacecraft EnglishLanguage "Any Vehicle which is capable of SpaceTransportation.") Mid-level-ontology.kif 17624-17625
(externalImage Spacecraft " 4/ 41/ Space_Shuttle_Columbia_launching.jpg") pictureList.kif 2369-2369
(externalImage Spacecraft " b/ b8/ Discovery_open.jpg") pictureList.kif 1996-1996
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17623-17623 Spacecraft is a subclass of vehicle

appearance as argument number 2

(subclass Rocket Spacecraft) Mid-level-ontology.kif 17631-17631 Rocket is a subclass of spacecraft
(termFormat ChineseLanguage Spacecraft "宇宙飞船") domainEnglishFormat.kif 54420-54420
(termFormat ChineseTraditionalLanguage Spacecraft "宇宙飛船") domainEnglishFormat.kif 54419-54419
(termFormat EnglishLanguage Spacecraft "spacecraft") domainEnglishFormat.kif 54418-54418


    (instance ?CRAFT Spacecraft)
    (capability SpaceTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17627-17629


    (instance ?TRANSPORT SpaceTransportation)
    (exists (?CRAFT ?REGION)
            (instance ?CRAFT Spacecraft)
            (instance ?REGION SpaceRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 17614-17621

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