TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 508-508	不相交的 Earphone and Loudspeaker
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26049-26050
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 505-506
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26048-26048	子類 Earphone and Device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 502-502	子類 Earphone and ElectricSpeakerDevice
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 503-503	子類 Earphone and 可穿戴物品

appearance as argument number 2

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

Mid-level-ontology.kif 26051-26051

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 510-516	例可穿戴物品 and Earphone 穿 Animal and 可穿戴物品例 Object and 頭部分 Object and Animal 位於可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26053-26074	例 Physical and Earphone 有目的 Physical and entity entity, entity, entity and entity 例 entity and 電信號患者 entity and entity 目的地 entity and Physical 例 entity and Process 儀器 entity and Physical 患者 entity and entity 結果 entity and entity 例 entity and RadiatingSound 起源 entity and Physical 之前開始何時 entity and 開始何時 entity 之前開始何時 entity and 開始何時 entity 例 entity and 耳方位 Physical, entity and 鄰

consequent

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

Mid-level-ontology.kif 26443-26450