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 和 % 2 是 disjoint
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 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 502-502	Earphone 是 ElectricSpeakerDevice 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 503-503	Earphone 是可穿戴物品的 subclass

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	如果可穿戴物品是 Earphone 的 instance 和动物 wears 那个可穿戴物品和客体是头的 instance 和那个客体是那个动物的 part，然后那个可穿戴物品是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26053-26074	如果物理是 Earphone 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是电信号的 instance 和那个第三实体是那个实体的 patient 和那个实体在那个物理结束和那个第五实体是过程的 instance 和那个物理是导致那个第五实体的 instrument 和那个第三实体是那个第五实体的 patient 和那个另外实体是那个第五实体的 result 和那个另外实体是放射声音的 instance 和那个物理是那个另外实体的源头和那个实体出现的 time 的开始%n在那个第五实体出现的 time 的开始before发生和那个第五实体出现的 time 的开始%n在那个另外实体出现的 time 的开始before发生和那个第四实体是耳的 instance 和那个物理在那个第四实体的邻

consequent

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

Mid-level-ontology.kif 26443-26450