TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Spacecraft Vehicle)	Mid-level-ontology.kif 19631-19631	Spacecraft is a subclass of vehicle
(documentation Spacecraft EnglishLanguage "Any Vehicle which is capable of SpaceTransportation.")	Mid-level-ontology.kif 19632-19633	Spacecraft is a subclass of vehicle
(externalImage Spacecraft "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Discovery_open.jpg")	pictureList.kif 1995-1995	Spacecraft is a subclass of vehicle
(externalImage Spacecraft "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Space_Shuttle_Columbia_launching.jpg")	pictureList.kif 2368-2368	Spacecraft is a subclass of vehicle

appearance as argument number 2

(subclass Rocket Spacecraft)	Mid-level-ontology.kif 19639-19639	Rocket is a subclass of spacecraft
(termFormat EnglishLanguage Spacecraft "spacecraft")	domainEnglishFormat.kif 54403-54403	Rocket is a subclass of spacecraft
(termFormat ChineseTraditionalLanguage Spacecraft "宇宙飛船")	domainEnglishFormat.kif 54404-54404	Rocket is a subclass of spacecraft
(termFormat ChineseLanguage Spacecraft "宇宙飞船")	domainEnglishFormat.kif 54405-54405	Rocket is a subclass of spacecraft

antecedent

consequent

(=>
    (instance ?TRANSPORT SpaceTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Spacecraft)
            (instance ?REGION SpaceRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))

If X is an instance of space transportation, then there exist Y, Z such that Y is an instance of spacecraft, Z is an instance of space region, Y is an instrument for X, and X is located at Z