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

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 ist eine teilkategorie von Calculating

appearance as argument number 2

(rangeSubclass MeasuringProcessFn Measuring)	Medicine.kif 6322-6322	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
(termFormat EnglishLanguage Measuring "measuring")	english_format.kif 1517-1517
(termFormat FrenchLanguage Measuring "mesurer")	french_format.kif 828-828
(termFormat Hindi Measuring "maapana")	terms-hindi.txt 360-360
(termFormat ItalianLanguage Measuring "Misurare")	terms-it.txt 363-363
(termFormat JapaneseLanguage Measuring "計測")	japanese_format.kif 2512-2512
(termFormat PortugueseLanguage Measuring "Medir")	portuguese_format.kif 780-780
(termFormat cb Measuring "pagsukod")	terms-cb.txt 365-365
(termFormat cz Measuring "measuring")	terms-cz.txt 399-399
(termFormat ro Measuring "mãsurare")	relations-ro.kif 849-849
(termFormat tg Measuring "sukatin")	terms-tg.txt 364-364

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 12168-12175	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 (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 25587-25601	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 16076-16082	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 3034-3043	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 3288-3298	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 3325-3333	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 ?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 4004-4013	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 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