Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Measuring
Measuring(measuring)11-plus, Binet-Simon_Scale, IQ_test, Stanford-Binet_test, acidimetric, acidimetry, actinometric, actinometrical, actinometry, algometry, alkalimetry, anemographic, anemography, anemometric, anemometrical, anemometry, angulation, anthropometric, anthropometrical, anthropometry, arterial_blood_gases, audiometric, audiometry, barographic, barometric, barometrical, bathymetric, bathymetrical, bathymetry, bolometric, calendric, calendrical, calibrate, caliper, calliper, calorimetric, calorimetry, cephalometry, clock, colorimetric, colorimetrical, densitometry, dimensioning, dosimetry, eleven-plus, equal_temperament, examination, fathom, fetometry, foetometry...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3133-3134
No TPTP formula. May not be expressible in strict first order. Merge.kif 12269-12270
No TPTP formula. May not be expressible in strict first order. Merge.kif 12268-12268 Measuring is a subclass of calculating

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6339-6339 The values returned by measuring a process are subclasses of measuring
No TPTP formula. May not be expressible in strict first order. Weather.kif 2559-2559 Surface wind speed measuring is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. Communications.kif 314-314 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1150-1150 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. english_format.kif 1517-1517 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. french_format.kif 828-828 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 360-360 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. terms-it.txt 363-363 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2512-2512 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 780-780 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 365-365 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 399-399 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. terms-de.txt 658-658 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 849-849 Telemetry is a subclass of measuring
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 364-364 Telemetry is a subclass of measuring

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2764-2778
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1252-1261
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1582-1590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3349-3355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3385-3391
No TPTP formula. May not be expressible in strict first order. Merge.kif 12272-12279
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3373-3379
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33827-33834

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2545-2549
No TPTP formula. May not be expressible in strict first order. Cars.kif 2970-2996
No TPTP formula. May not be expressible in strict first order. Weather.kif 2598-2604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27192-27206
No TPTP formula. May not be expressible in strict first order. Merge.kif 16180-16186
No TPTP formula. May not be expressible in strict first order. Cars.kif 2780-2788
No TPTP formula. May not be expressible in strict first order. Cars.kif 3110-3119
No TPTP formula. May not be expressible in strict first order. Cars.kif 3364-3374
No TPTP formula. May not be expressible in strict first order. Cars.kif 3401-3409
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1263-1272
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1568-1580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33813-33821
No TPTP formula. May not be expressible in strict first order. Cars.kif 3018-3032
No TPTP formula. May not be expressible in strict first order. Cars.kif 4080-4089
No TPTP formula. May not be expressible in strict first order. Communications.kif 316-334


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



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