TreeView Knowledge Base Browser - approximateDiameter

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

approximateDiameter

Sigma KEE - approximateDiameter

approximateDiameter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17935-17935
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17933-17934
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17940-17940	近似直径的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17941-17941	近似直径的 2 数量是长度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17943-17943	近似直径是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17944-17944	近似直径是单值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17945-17945	近似直径是总值关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2818-2818
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2817-2817
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2816-2816
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17938-17938
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17937-17937

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7524-7530	自身连接物体是液体滴的 instance 和 1 的 approximate diameter 是 %2 和 500.0 是 lessThan 实数若且唯若那个自身连接物体是小滴液体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	客体是悬浮颗粒的 instance 和自身连接物体是那个客体的 part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数和那个实数是 greaterThan 2.5 若且唯若有存在那个客体10 这样那个客体10 是粗悬浮颗粒的 instance 和那个客体10 是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	客体是悬浮颗粒的 instance 和自身连接物体是那个客体的 part 和 1 的 approximate diameter 是 %2 和实数是 greaterThanOrEqualTo 2.5 若且唯若有存在那个客体25 这样那个客体25 是细悬浮颗粒的 instance 和那个客体25 是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17947-17958	如果 1 的 approximate diameter 是 %2 和客体的 radius 是实数和 2.0 那个实数M 和那个客体的 measure 是另一个实数另一个测量单位和自身连接物体的 measure 是第三实数那个另外测量单位和那个实数M 是 UnitOfLength 的 instance 和那个另外测量单位是 UnitOfVolume 的 instance，然后那个另外实数 equal 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7311-7316	如果自身连接物体是巨石的 instance 和 1 的 approximate diameter 是 %2 ，然后实数是 greaterThan 256.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7288-7295	如果自身连接物体是大卵石的 instance 和 1 的 approximate diameter 是 %2 ，然后 256.0 是 greaterThan 实数和那个实数是 greaterThan 64.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7265-7272	如果自身连接物体是卵石的 instance 和 1 的 approximate diameter 是 %2 ，然后 64.0 是 greaterThan 实数和那个实数是 greaterThan 2.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17971-17979	如果自身连接物体是客体的 part 和那个客体是粘土的 instance 和 1 的 approximate diameter 是 %2 ，然后 0.004 是 greaterThan 实数和那个实数是 greaterThan 0.001
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4375-4383	如果自身连接物体是客体的 part 和那个客体是砂的 instance 和 1 的 approximate diameter 是 %2 ，然后 2.0 是 greaterThan 实数和那个实数是 greaterThan 0.062
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4420-4428	如果自身连接物体是客体的 part 和那个客体是淤泥的 instance 和 1 的 approximate diameter 是 %2 ，然后 0.062 是 greaterThan 实数和那个实数是 greaterThan 0.004

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1083-1088	如果自身连接物体是 Grain 的 instance 和 grainSize 那个自身连接物体 and 实数，然后 1 的 approximate diameter 是 %2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31175-31180	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和自身连接物体是那个集合的 element，然后 1 的 approximate diameter 是 %2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31182-31187	如果 memberMeasure 类, ApproximateDiameter and 长度测量和那个类是类的 instance 和自身连接物体是那个类的 instance，然后 1 的 approximate diameter 是 %2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2799-2811	如果转移是毛毛雨的 instance，然后有存在群体，自身连接物体， and 和实数这样那个群体是群体的 instance 和那个自身连接物体是水的 instance 和那个自身连接物体是液体滴的 instance 和那个自身连接物体是那个群体的 member 和 objectTransferred 那个转移 and 那个群体和 1 的 approximate diameter 是 %2 和那个实数是 lessThanOrEqualTo 0.5 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7413-7422	如果客体是悬浮颗粒的 instance，然后有存在自身连接物体，另一个客体， and 和实数这样那个另外客体是大气地区的 instance 和那个客体是 located 在那个另外客体和那个自身连接物体是那个客体的 part 和 1 的 approximate diameter 是 %2 和 1000.0 是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21558-21567	如果客体是胶体的 instance，然后有存在自身连接物体和实数这样那个自身连接物体是那个客体的 part 和不可溶的是那个自身连接物体的 attribute 和 1 的 approximate diameter 是 %2 和 977.0 是 greaterThan 那个实数和那个实数是 greaterThan 0.95

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners