locationMeasuringList - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - locationMeasuringList

locationMeasuringList

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2589-2591
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2585-2588
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2594-2594	The number 1 argument of location measuring list is an instance of measuring list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2595-2595	The number 2 argument of location measuring list is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2596-2596	location measuring list is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2593-2593
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2592-2592
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10407-10407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10406-10406

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2598-2604

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

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3052-3069	If equal a function quantity and Mean10MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 10 minute duration(s). and equal 120 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3157-3174	If equal a function quantity and Mean1MinuteWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 1 minute duration(s). and equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3122-3139	If equal a function quantity and Mean2MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and equal 24 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3087-3104	If equal a function quantity and Mean3MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and equal 36 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2733-2750	If equal a function quantity and Mean3SecondWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 0.25 second duration(s) interval. and The Measuring for list the entity takes 3 second duration(s). and equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval

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