TreeView Knowledge Base Browser - Measuring

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Measuring

Measuring

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 12179-12180
(subclass Measuring Calculating)	Merge.kif 12178-12178	Measuring ist eine teilkategorie von Calculating

appearance as argument number 2

(rangeSubclass MeasuringProcessFn Measuring)	Medicine.kif 6319-6319	Die werte die MeasuringProcessFn zurueckgibt sind teilkategorien von Measuring
(subclass SurfaceWindSpeedMeasuring Measuring)	Weather.kif 1713-1713	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat ChineseLanguage Measuring "测量")	chinese_format.kif 1150-1150	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat EnglishLanguage Measuring "measuring")	english_format.kif 1517-1517	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat FrenchLanguage Measuring "mesurer")	french_format.kif 828-828	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat Hindi Measuring "maapana")	terms-hindi.txt 360-360	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat ItalianLanguage Measuring "Misurare")	terms-it.txt 363-363	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat JapaneseLanguage Measuring "計測")	japanese_format.kif 2512-2512	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat PortugueseLanguage Measuring "Medir")	portuguese_format.kif 780-780	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat cb Measuring "pagsukod")	terms-cb.txt 365-365	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat cz Measuring "measuring")	terms-cz.txt 399-399	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat ro Measuring "mãsurare")	relations-ro.kif 849-849	SurfaceWindSpeedMeasuring ist eine teilkategorie von Measuring
(termFormat tg Measuring "sukatin")	terms-tg.txt 364-364	SurfaceWindSpeedMeasuring ist eine teilkategorie von 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	Wenn Object ist ein fall von AntibodyCOVIDTest %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist ein fall von Measuring %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von COVIDAntibody %n{nicht} und Object ist ein teil von Object %n{nicht}, dann die Aussage Object kennt es gibt Object um Object ist ein fall von COVIDAntibody %n{nicht} und Object ist ein teil von ** Object %n{nicht} %n{nicht} hat die modale Kraft von 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	Wenn Process ist ein fall von Measuring %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein fall von PulseOximeter %n{nicht}, dann es gibt entity um CognitiveAgent kennt oxygenSaturation Entity and ** entity %n{nicht}
(=> (and (instance ?M Measuring) (instrument ?M ?R) (instance ?R RTPCRTest)) (exists (?E) (and (instance ?E RadiatingLight) (origin ?E ?R))))	Medicine.kif 1589-1597	Wenn Process ist ein fall von Measuring %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von RTPCRTest %n{nicht}, dann es gibt Process um Process ist ein fall von RadiatingLight %n{nicht} und Process beginnet an Object %n{nicht}
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure))	Mid-level-ontology.kif 2879-2885	Wenn Process ist ein fall von Measuring %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von Clock %n{nicht}, dann Entity ist ein fall von TimeMeasure %n{nicht}
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	Mid-level-ontology.kif 2915-2921	Wenn Process ist ein fall von Measuring %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von Thermometer %n{nicht}, dann Entity ist ein fall von TemperatureMeasure %n{nicht}
(=> (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 12182-12189	Wenn Process ist ein fall von Measuring %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt entity und entity um AutonomousAgent kennt das mass von Entity ist entity entity(s) %n{nicht} %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (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	Wenn Process ist ein fall von Measuring %n{nicht} und Physical ist ein patient von Process %n{nicht} und LengthMeasure ist ein resultat von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von AbsoluteAltimeter %n{nicht}, dann es gibt Physical2 um das altitude von Physical ist Physical2 %n{nicht} und Physical2 ist eine flaeche von PlanetEarth %n{nicht}
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (altitude ?OBJ SeaLevel ?QUANTITY))	MilitaryDevices.kif 1477-1484	Wenn Process ist ein fall von Measuring %n{nicht} und Physical ist ein patient von Process %n{nicht} und LengthMeasure ist ein resultat von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von BarometricAltimeter %n{nicht}, dann das altitude von ** Physical ist SeaLevel %n{nicht}
(=> (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	Wenn Process ist ein fall von Measuring %n{nicht} und SelfConnectedObject ist ein patient von Process %n{nicht} und SelfConnectedObject ist eine flaeche von PlanetEarth %n{nicht} und LengthMeasure ist ein resultat von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von BarometricAltimeter %n{nicht}, dann elevation SelfConnectedObject and ** LengthMeasure
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ALTIMETER) (instance ?ALTIMETER Altimeter)) (instance ?QUANTITY AltitudeMeasure))	MilitaryDevices.kif 1426-1432	Wenn Process ist ein fall von Measuring %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von Altimeter %n{nicht}, dann Entity ist ein fall von AltitudeMeasure %n{nicht}
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure))	Mid-level-ontology.kif 2903-2909	Wenn Process ist ein fall von Measuring %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von Thermometer %n{nicht}, dann Entity ist ein fall von TemperatureMeasure %n{nicht}

consequent

(=> (and (instance ?LIST MeasuringList) (inList ?M ?LIST)) (instance ?M Measuring))	Weather.kif 1699-1703	Wenn List ist ein fall von MeasuringList %n{nicht} und Entity ist ein Mitglied von List, dann Entity ist ein fall von Measuring %n{nicht}
(=> (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	Wenn Object ist ein fall von Odometer %n{nicht} und Object ist ein fall von Vehicle %n{nicht} und Object ist ein teil von Object %n{nicht} und Motion ist ein fall von Translocation %n{nicht} und Object ist ein instrument fuer Motion %n{nicht} und Transitway ist der pfad entlang dem Motion geschieht und distanceOnPath RealNumber UnitOfMeasure(s) and Transitway und UnitOfMeasure ist ein fall von LengthMeasure %n{nicht}, dann Object hat Zweck von es gibt entity, entity,, , RealNumberIST, and und UnitOfMeasure um entity ist ein fall von Measuring %n{nicht} und Object ist ein instrument fuer entity %n{nicht} und measurementReading Object and RealNumberIST und RealNumber ist ein Mitglied von entity und RealNumberIST ist gleich ListSumFn entity UnitOfMeasure(s) %n{nicht} und ResetMeasuringDevice ist ein attribut von Object nicht haelt waehrend die zeit des Bestehens von das ende von entity %n{nicht} %n{nicht}
(=> (and (locationMeasuringList ?LIST ?PLACE) (inList ?M ?LIST)) (and (instance ?M Measuring) (eventLocated ?M ?PLACE)))	Weather.kif 1752-1758	Wenn locationMeasuringList MeasuringList and GeographicArea und Process ist ein Mitglied von MeasuringList, dann Process ist ein fall von Measuring %n{nicht} und eventLocated Process and GeographicArea
(=> (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 25850-25864	Wenn Physical ist ein fall von AlarmClock %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Measuring %n{nicht} und entity ist der agent von Physical %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist gleich entity %n{nicht} und es gibt entity um entity ist ein fall von RadiatingSound %n{nicht} und entity ist der agent von Physical %n{nicht} haelt waehrend die zeit des Bestehens von ** entity %n{nicht} %n{nicht}
(=> (instance ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE)))))	Merge.kif 16086-16092	Wenn Physical ist ein fall von MeasuringDevice %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Measuring %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von FeelerGauge %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Measuring %n{nicht} und entity ist ein fall von TactilePerception %n{nicht} und entity ist ein subProzess von entity und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von Hydrometer %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Measuring %n{nicht} und entity ist ein fall von Substance %n{nicht} und Liquid ist ein attribut von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von MassAirflowSensor %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von Air %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Measuring %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von OxygenSensor %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Oxygen %n{nicht} und entity ist ein fall von Measuring %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von PulseOximeter %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Measuring %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und ** Physical ist ein fall von PulseOximeter %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von RTPCRTest %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entityEAS um entity ist ein fall von Measuring %n{nicht} und PhysicalNA ist ein patient von entity %n{nicht} und PhysicalNA ist ein fall von RNAMolecule %n{nicht} und das mass von PhysicalNA ist entityEAS %n{nicht} haelt waehrend entity %n{nicht} und entity kennt das mass von PhysicalNA ist entityEAS %n{nicht} haelt waehrend entity %n{nicht} %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von Speedometer %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , PhysicalPEED,, , entity,, , entityIME, and und entity um entity ist ein fall von Vehicle %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity ist ein fall von Translocation %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und das mass von entity ist PhysicalPEED %n{nicht} und PhysicalPEED ist gleich entity pro &2 %n{nicht} und entity ist ein fall von Measuring %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und measurementReading entity and ** PhysicalPEED %n{nicht}
(=> (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	Wenn Physical ist ein fall von Tachometer %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Rotating %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Measuring %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}

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