TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31023-31026
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31031-31031	memberMeasure 的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31032-31032	memberMeasure 的 2 数量是 MeasurementAttribute 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31033-31033	memberMeasure 的 3 数量是数量的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31022-31022	memberMeasure 是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31028-31029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65875-65875

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31042-31047	如果 memberMeasure 类, MeasurementAttribute and 数量和那个类是类的 instance 和实体是那个类的 instance，然后那个实体是人工制品的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31049-31054	如果 memberMeasure 类, MeasurementAttribute and 物理量和那个类是类的 instance 和物理是那个类的 instance，然后那个物理的 measure 是那个物理量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31348-31355	如果 memberMeasure 集合, MeasurementAttribute and 持续时间和那个集合是集合的 instance 和施事体是那个集合的 element 和过程是过程的 instance 和那个施事体是那个过程的 agent，然后过程每那个持续时间发生一次
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31211-31216	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和自身连接物体是那个集合的 element，然后 1 的 approximate diameter 是 %2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31136-31141	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和客体是那个集合的 element，然后 circumfrence 那个客体 and 那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31189-31194	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和客体是那个集合的 element，然后那个客体的 diameter 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31115-31120	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和自身连接物体是那个集合的 element，然后那个自身连接物体的 height 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31084-31089	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和物理是那个集合的 element，然后那个物理的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31035-31040	如果 memberMeasure 集合, MeasurementAttribute and 物理量和那个集合是集合的 instance 和物理是那个集合的 element，然后那个物理的 measure 是那个物理量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31240-31245	如果 memberMeasure 集合, MeasurementAttribute and 面积测量和那个集合是集合的 instance 和地区是那个集合的 element，然后那个面积测量是那个地区的 total 區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31380-31385	如果 memberMeasure 集合, MeasurementAttribute and 函数量和那个集合是集合的 instance 和变压器是那个集合的 element，然后 transformerCapacity 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31262-31267	如果 memberMeasure 集合, MeasurementAttribute and 函数量和那个集合是集合的 instance 和变压器是那个集合的 element，然后 voltageRatingPrimary 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31305-31310	如果 memberMeasure 集合, MeasurementAttribute and 函数量和那个集合是集合的 instance 和变压器是那个集合的 element，然后 voltageRatingSecondary 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31103-31108	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和物理是那个集合的 element，然后那个物理的 width 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31218-31223	如果 memberMeasure 类, ApproximateDiameter and 长度测量和那个类是类的 instance 和自身连接物体是那个类的 instance，然后 1 的 approximate diameter 是 %2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31247-31252	如果 memberMeasure 类, Area and 面积测量和那个类是类的 instance 和地区是那个类的 instance，然后那个面积测量是那个地区的 total 區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31143-31148	如果 memberMeasure 类, Circumfrence and 长度测量和那个类是类的 instance 和客体是那个类的 instance，然后 circumfrence 那个客体 and 那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31196-31201	如果 memberMeasure 类, Diameter and 长度测量和那个类是类的 instance 和客体是那个类的 instance，然后那个客体的 diameter 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31357-31364	如果 memberMeasure 类, Frequency and 持续时间和那个类是类的 instance 和施事体是那个类的 instance 和过程是过程的 instance 和那个施事体是那个过程的 agent，然后过程每那个持续时间发生一次
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31077-31082	如果 memberMeasure 类, 长度 and 长度测量和那个类是类的 instance 和物理是那个类的 instance，然后那个物理的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31392	如果 memberMeasure 类, TransformerCapacity and 函数量和那个类是类的 instance 和变压器是那个类的 instance，然后 transformerCapacity 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31269-31274	如果 memberMeasure 类, VoltageRatingPrimary and 函数量和那个类是类的 instance 和变压器是那个类的 instance，然后 voltageRatingPrimary 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31312-31317	如果 memberMeasure 类, VoltageRatingSecondary and 函数量和那个类是类的 instance 和变压器是那个类的 instance，然后 voltageRatingSecondary 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31122-31127	如果 memberMeasure 类, Width and 长度测量和那个类是类的 instance 和自身连接物体是那个类的 instance，然后那个自身连接物体的 height 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31096-31101	如果 memberMeasure 类, Width and 长度测量和那个类是类的 instance 和物理是那个类的 instance，然后那个物理的 width 是那个长度测量

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: