Measuring - Sigma Knowledge base Browser

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

(documentation Measuring ChineseLanguage "这是 Calculating Process 的 Class，它的目的是决定 patient 在某些方面的 PhysicalQuantity。")	chinese_format.kif 3133-3134
(documentation Measuring EnglishLanguage "The Class of Calculating Processes where the aim is to determine the PhysicalQuantity of some aspect of the patient.")	Merge.kif 12165-12166
(subclass Measuring Calculating)	Merge.kif 12164-12164	Measuring is a subclass of calculating

appearance as argument number 2

(rangeSubclass MeasuringProcessFn Measuring)	Medicine.kif 6322-6322	The values returned by measuring a process are subclasses of measuring
(subclass SurfaceWindSpeedMeasuring Measuring)	Weather.kif 1713-1713	Surface wind speed measuring is a subclass of measuring
(termFormat ChineseLanguage Measuring "测量")	chinese_format.kif 1150-1150	Surface wind speed measuring is a subclass of measuring
(termFormat EnglishLanguage Measuring "measuring")	english_format.kif 1517-1517	Surface wind speed measuring is a subclass of measuring
(termFormat FrenchLanguage Measuring "mesurer")	french_format.kif 828-828	Surface wind speed measuring is a subclass of measuring
(termFormat Hindi Measuring "maapana")	terms-hindi.txt 360-360	Surface wind speed measuring is a subclass of measuring
(termFormat ItalianLanguage Measuring "Misurare")	terms-it.txt 363-363	Surface wind speed measuring is a subclass of measuring
(termFormat JapaneseLanguage Measuring "計測")	japanese_format.kif 2512-2512	Surface wind speed measuring is a subclass of measuring
(termFormat PortugueseLanguage Measuring "Medir")	portuguese_format.kif 780-780	Surface wind speed measuring is a subclass of measuring
(termFormat cb Measuring "pagsukod")	terms-cb.txt 365-365	Surface wind speed measuring is a subclass of measuring
(termFormat cz Measuring "measuring")	terms-cz.txt 399-399	Surface wind speed measuring is a subclass of measuring
(termFormat ro Measuring "mãsurare")	relations-ro.kif 849-849	Surface wind speed measuring is a subclass of measuring
(termFormat tg Measuring "sukatin")	terms-tg.txt 364-364	Surface wind speed measuring is a subclass of measuring

antecedent

(=> (and (instance ?A AntibodyCOVIDTest) (instrument ?M ?A) (instance ?M Measuring) (patient ?M ?H) (instance ?CA COVIDAntibody) (part ?CA ?H)) (modalAttribute (knows ?H (exists (?CA) (and (instance ?CA COVIDAntibody) (part ?CA ?H)))) Likely))	Medicine.kif 2763-2777	If an object is an instance of antigen COVID test and the object is an instrument for a process and the process is an instance of measuring and another object is a patient of the process and a third object is an instance of COVID antibody and the third object is a part of the other object, then the statement the other object knows there exists the third object such that the third object is an instance of COVID antibody and the third object is a part of the other object has the modal force of likely
(=> (and (instance ?M Measuring) (instrument ?M ?PO) (agent ?M ?A) (patient ?M ?P) (instance ?PO PulseOximeter)) (exists (?N) (knows ?A (oxygenSaturation ?P ?N))))	Medicine.kif 1260-1269	If a process is an instance of measuring and an object is an instrument for the process and a cognitive agent is an agent of the process and an entity is a patient of the process and the object is an instance of pulse oximeter, then there exists another entity such that the cognitive agent knows the oxygen saturation of the entity is the other entity percent
(=> (and (instance ?M Measuring) (instrument ?M ?R) (instance ?R RTPCRTest)) (exists (?E) (and (instance ?E RadiatingLight) (origin ?E ?R))))	Medicine.kif 1589-1597	If a process is an instance of measuring and an object is an instrument for the process and the object is an instance of Reverse transcription polymerase chain reaction, then there exists another process such that the other process is an instance of radiating light and the other process originates at the object
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure))	Mid-level-ontology.kif 2879-2885	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of clock, then the entity is an instance of time measure
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	Mid-level-ontology.kif 2915-2921	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure
(=> (and (instance ?MEAS Measuring) (agent ?MEAS ?AGENT) (patient ?MEAS ?OBJ)) (exists (?QUANT ?UNIT) (holdsDuring (EndFn (WhenFn ?MEAS)) (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))	Merge.kif 12168-12175	If a process is an instance of measuring and an agent is an agent of the process and an entity is a patient of the process, then there exist another entity and a third entity such that the agent knows the measure of the entity is the other entity the third entity(s) holds during the end of the time of existence of the process
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ABSOLUTEMETER) (instance ?ABSOLUTEMETER AbsoluteAltimeter)) (exists (?OBJ2) (and (altitude ?OBJ ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth))))	MilitaryDevices.kif 1441-1451	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of absolute altimeter, then there exists the physical2 such that the altitude of the physical is the physical2 and the physical2 is a surface of planet earth
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (altitude ?OBJ SeaLevel ?QUANTITY))	MilitaryDevices.kif 1477-1484	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the altitude of the physical is sea level
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY))	MilitaryDevices.kif 1488-1496	If a process is an instance of measuring and a self connected object is a patient of the process and the self connected object is a surface of planet earth and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the length measure is an elevation of the self connected object
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ALTIMETER) (instance ?ALTIMETER Altimeter)) (instance ?QUANTITY AltitudeMeasure))	MilitaryDevices.kif 1426-1432	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of altimeter, then the entity is an instance of altitude measure
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure))	Mid-level-ontology.kif 2903-2909	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure

consequent

(=> (and (instance ?LIST MeasuringList) (inList ?M ?LIST)) (instance ?M Measuring))	Weather.kif 1699-1703	If a list is an instance of measuring list and an entity is a member of the list, then the entity is an instance of measuring
(=> (and (instance ?O Odometer) (instance ?V Vehicle) (part ?O ?V) (instance ?T Translocation) (instrument ?T ?V) (path ?T ?P) (distanceOnPath (MeasureFn ?D ?U) ?P) (instance ?U LengthMeasure)) (hasPurpose ?O (exists (?M ?L ?DIST ?U) (and (instance ?M Measuring) (instrument ?M ?O) (measurementReading ?O ?DIST) (inList ?D ?L) (holdsDuring (WhenFn (EndFn ?M)) (and (equal ?DIST (MeasureFn (ListSumFn ?L) ?U)) (not (attribute ?O ResetMeasuringDevice))))))))	Cars.kif 2969-2995	If an object is an instance of odometer and another object is an instance of vehicle and the object is a part of the other object and a motion is an instance of translocation and the other object is an instrument for the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number an unit of measure(s) and the unit of measure is an instance of length measure, then the object has the purpose there exist an entity, another entity,, , the real numberIST and the unit of measure such that the entity is an instance of measuring and the object is an instrument for the entity and the real numberIST is a measurement reading of the object and the real number is a member of the other entity and the real numberIST is equal to the sum of the other entity the unit of measure(s) and reset measuring device is not an attribute of the object holds during the time of existence of the end of the entity
(=> (and (locationMeasuringList ?LIST ?PLACE) (inList ?M ?LIST)) (and (instance ?M Measuring) (eventLocated ?M ?PLACE)))	Weather.kif 1752-1758	If The eventLocated for a measuring list is a geographic area and a process is a member of the measuring list, then the process is an instance of measuring and the process is located at the geographic area
(=> (instance ?AC AlarmClock) (hasPurpose ?AC (exists (?TIME ?M ?Q) (and (instance ?M Measuring) (agent ?M ?AC) (result ?M ?Q) (equal ?Q ?TIME) (holdsDuring (WhenFn ?M) (exists (?S) (and (instance ?S RadiatingSound) (agent ?S ?AC))))))))	Mid-level-ontology.kif 25818-25832	If a physical is an instance of alarm clock, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of measuring and the physical is an agent of the other entity and the third entity is a result of the other entity and the third entity is equal to the entity and there exists a fourth entity such that the fourth entity is an instance of radiating sound and the physical is an agent of the fourth entity holds during the time of existence of the other entity
(=> (instance ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE)))))	Merge.kif 16076-16082	If a physical is an instance of measuring device, then the physical has the purpose there exists an entity such that the entity is an instance of measuring and the physical is an instrument for the entity
(=> (instance ?FG FeelerGauge) (hasPurpose ?FG (exists (?TP ?M) (and (instance ?M Measuring) (instance ?TP TactilePerception) (subProcess ?TP ?M) (instrument ?M ?FG)))))	Cars.kif 2779-2787	If a physical is an instance of feeler gauge, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of measuring and the entity is an instance of tactile perception and the entity is a subprocess of the other entity and the physical is an instrument for the other entity
(=> (instance ?H Hydrometer) (hasPurpose ?H (exists (?M ?S) (and (instance ?M Measuring) (instance ?S Substance) (attribute ?S Liquid) (patient ?M ?S) (instrument ?M ?H)))))	Cars.kif 3109-3118	If a physical is an instance of hydrometer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of measuring and the other entity is an instance of substance and liquid is an attribute of the other entity and the other entity is a patient of the entity and the physical is an instrument for the entity
(=> (instance ?MAS MassAirflowSensor) (hasPurpose ?MAS (exists (?T ?M ?A) (and (instance ?T Transfer) (instance ?A Air) (patient ?T ?A) (instance ?M Measuring) (patient ?M ?A) (instrument ?M ?MAS)))))	Cars.kif 3363-3373	If a physical is an instance of mass airflow sensor, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is an instance of air and the third entity is a patient of the entity and the other entity is an instance of measuring and the third entity is a patient of the other entity and the physical is an instrument for the other entity
(=> (instance ?OS OxygenSensor) (hasPurpose ?OS (exists (?O ?M) (and (instance ?O Oxygen) (instance ?M Measuring) (patient ?M ?O) (instrument ?M ?OS)))))	Cars.kif 3400-3408	If a physical is an instance of oxygen sensor, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of oxygen and the other entity is an instance of measuring and the entity is a patient of the other entity and the physical is an instrument for the other entity
(=> (instance ?PO PulseOximeter) (hasPurpose ?PO (exists (?M ?A ?P) (and (instance ?M Measuring) (instrument ?M ?PO) (agent ?M ?A) (patient ?M ?P) (instance ?PO PulseOximeter)))))	Medicine.kif 1271-1280	If a physical is an instance of pulse oximeter, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of measuring and the physical is an instrument for the entity and the other entity is an agent of the entity and the third entity is a patient of the entity and the physical is an instance of pulse oximeter
(=> (instance ?R RTPCRTest) (hasPurpose ?R (exists (?M ?A ?T ?MEAS) (and (instance ?M Measuring) (patient ?M ?RNA) (instance ?RNA RNAMolecule) (holdsDuring ?T (measure ?RNA ?MEAS)) (knows ?A (holdsDuring ?T (measure ?RNA ?MEAS)))))))	Medicine.kif 1575-1587	If a physical is an instance of Reverse transcription polymerase chain reaction, then the physical has the purpose there exist an entity, another entity,, , a third entity and the entityEAS such that the entity is an instance of measuring and the physicalNA is a patient of the entity and the physicalNA is an instance of RNA molecule and the measure of the physicalNA is the entityEAS holds during the third entity and the other entity knows the measure of the physicalNA is the entityEAS holds during the third entity
(=> (instance ?S Speedometer) (hasPurpose ?S (exists (?V ?T ?SPEED ?DIST ?TIME ?M) (and (instance ?V Vehicle) (part ?S ?V) (instance ?T Translocation) (instrument ?T ?V) (measure ?T ?SPEED) (equal ?SPEED (SpeedFn ?DIST ?TIME)) (instance ?M Measuring) (instrument ?M ?S) (measurementReading ?M ?SPEED)))))	Cars.kif 3017-3031	If a physical is an instance of speedometer, then the physical has the purpose there exist an entity, another entity,, , the physicalPEED,, , a fourth entity,, , the other entityIME and a sixth entity such that the entity is an instance of vehicle and the physical is a part of the entity and the other entity is an instance of translocation and the entity is an instrument for the other entity and the measure of the other entity is the physicalPEED and the physicalPEED is equal to the fourth entity per the other entityIME and the sixth entity is an instance of measuring and the physical is an instrument for the sixth entity and the physicalPEED is a measurement reading of the sixth entity
(=> (instance ?T Tachometer) (hasPurpose ?T (exists (?R ?M ?O) (and (instance ?R Rotating) (patient ?R ?O) (instance ?M Measuring) (instrument ?M ?T) (patient ?M ?O)))))	Cars.kif 4079-4088	If a physical is an instance of tachometer, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of rotating and the third entity is a patient of the entity and the other entity is an instance of measuring and the physical is an instrument for the other entity and the third entity is a patient of the other entity

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