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 27770-27771
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27769-27769	子類 Wheelchair and TransportationDevice

appearance as argument number 2

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

Mid-level-ontology.kif 27772-27772

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27774-27781	例 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 27783-27792	例 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 27804-27816