Wheelchair - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26158-26159
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26157-26157	子類 Wheelchair and TransportationDevice

appearance as argument number 2

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

Mid-level-ontology.kif 26160-26160

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26162-26169	例 Object and Wheelchair Object Object 例 Object and 座位例 Object and 輪部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26171-26180	例 Physical and Wheelchair 有目的 Physical and entity entity 例 entity and Human 能力 Walking, agent and entity 例 entity and Transportation agent entity and entity 儀器 entity and Physical

consequent

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

Mid-level-ontology.kif 26192-26204