TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Wheelchair EnglishLanguage "Wheelchair is a type of LandVehicle that is used to individually transport those who cannot walk")	Mid-level-ontology.kif 26113-26114
(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 26112-26112	Wheelchair e' uma sub-classe de Veiculo de Transporte

appearance as argument number 2

(termFormat EnglishLanguage Wheelchair "wheelchair")

Mid-level-ontology.kif 26115-26115

antecedent

(=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X))))	Mid-level-ontology.kif 26117-26124	Objeto e' uma instancia de Wheelchair Objeto Objeto Objeto e' uma instancia de Seat Objeto e' uma instancia de Wheel Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
(=> (instance ?X Wheelchair) (hasPurpose ?X (exists (?TRANSPORT ?HUMAN) (and (instance ?HUMAN Human) (not (capability Walking agent ?HUMAN)) (instance ?TRANSPORT Transportation) (agent ?TRANSPORT ?HUMAN) (instrument ?TRANSPORT ?X)))))	Mid-level-ontology.kif 26126-26135	Fisico e' uma instancia de Wheelchair Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Entidade e' capaz de fazer Andar no role agent Entidade e' uma instancia de Transporte Entidade e' um agente de Entidade Fisico e' um instrumento para Entidade

consequent

(=>
    (and
        (attribute ?X WheelchairAccessible)
        (or
            (instance ?X Building)
            (instance ?X Room)))
    (modalAttribute
        (exists (?MOTION ?WHEELCHAIR)
            (and
                (instance ?MOTION Motion)
                (instrument ?MOTION ?WHEELCHAIR)
                (instance ?WHEELCHAIR Wheelchair)
                (eventLocated ?MOTION ?X))) Possibility))

Mid-level-ontology.kif 26147-26159