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 17559-17560
(externalImage Spacecraft " 4/ 41/ Space_Shuttle_Columbia_launching.jpg") pictureList.kif 2370-2370
(externalImage Spacecraft " b/ b8/ Discovery_open.jpg") pictureList.kif 1997-1997
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17558-17558 Spacecraft is a subclass of vehicle

appearance as argument number 2

(subclass Rocket Spacecraft) Mid-level-ontology.kif 17566-17566 Rocket is a subclass of spacecraft
(termFormat ChineseLanguage Spacecraft "宇宙飞船") domainEnglishFormat.kif 54429-54429
(termFormat ChineseTraditionalLanguage Spacecraft "宇宙飛船") domainEnglishFormat.kif 54428-54428
(termFormat EnglishLanguage Spacecraft "spacecraft") domainEnglishFormat.kif 54427-54427


    (instance ?CRAFT Spacecraft)
    (capability SpaceTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17562-17564


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

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