KnotUnitOfSpeed - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - KnotUnitOfSpeed

KnotUnitOfSpeed(knot unit of speed)

appearance as argument number 1

(documentation KnotUnitOfSpeed EnglishLanguage "KnotUnitOfSpeed is a unit for measuring speed. One KnotUnitOfSpeed is equal to one NauticalMile per one HourDuration.")	Geography.kif 4176-4178
(instance KnotUnitOfSpeed CompositeUnitOfMeasure)	Geography.kif 4175-4175	Knot unit of speed is an instance of composite unit of measure

appearance as argument number 2

(abbreviation "kt" KnotUnitOfSpeed)	Geography.kif 4173-4173	"kt" is an abbreviation of knot unit of speed
(names "knot" KnotUnitOfSpeed)	Geography.kif 4172-4172	Knot unit of speed has &ames$"name" "knot"
(termFormat ChineseLanguage KnotUnitOfSpeed "结速度单位")	domainEnglishFormat.kif 32730-32730	Knot unit of speed has &ames$"name" "knot"
(termFormat ChineseTraditionalLanguage KnotUnitOfSpeed "結速度單位")	domainEnglishFormat.kif 32729-32729	Knot unit of speed has &ames$"name" "knot"
(termFormat EnglishLanguage KnotUnitOfSpeed "knot unit of speed")	domainEnglishFormat.kif 32728-32728	Knot unit of speed has &ames$"name" "knot"

antecedent

(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed)))	Weather.kif 147-153	If a physical is an instance of wind flow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a real number knot unit of speed(s), then the real number knot unit of speed(s) is a surface wind speed of the object
(=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed)))	Geography.kif 5159-5163	If the measure of the flow of a substance is a real number knot unit of speed(s) and another substance is a piece of the substance, then the other substance is a piece of the real number knot unit of speed(s)
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration))))	Geography.kif 4190-4196	If equal a function quantity and a real number knot unit of speed(s), then equal the function quantity and the real number nautical mile(s) per 1.0 hour duration(s)

consequent

(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1991-2012	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed)))	Weather.kif 147-153	If a physical is an instance of wind flow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a real number knot unit of speed(s), then the real number knot unit of speed(s) is a surface wind speed of the object
(=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed)))	Geography.kif 5159-5163	If the measure of the flow of a substance is a real number knot unit of speed(s) and another substance is a piece of the substance, then the other substance is a piece of the real number knot unit of speed(s)
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))	Geography.kif 4180-4188	If equal a function quantity and a real number nautical mile(s) per another real number hour duration(s), then equal the function quantity and the real number and the other real number knot unit of speed(s)
(=> (instance ?PROCESS Blizzard) (holdsDuring (WhenFn ?PROCESS) (exists (?AREA ?GALE ?DURATION) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (surfaceWindSpeed ?AREA (MeasureFn ?GALE KnotUnitOfSpeed)) (greaterThan ?GALE 35.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3)))))	Weather.kif 3456-3469	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at the entity and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35.0 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?AREA ?STRONG) (and (instance ?AREA GeographicArea) (surfaceWindSpeed ?AREA (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0)))))	Weather.kif 3735-3744	If a physical is an instance of storm, then there exist an entity and another entity such that the entity is an instance of geographic area and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 30.0 holds during the time of existence of the physical

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