TreeView Knowledge Base Browser - visibilityInMeteorology

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

visibilityInMeteorology

Sigma KEE - visibilityInMeteorology

visibilityInMeteorology

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2698-2701
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2693-2697
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2702-2702	The number 1 argument of visibility in meteorology is an instance of region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2703-2703	The number 2 argument of visibility in meteorology is an instance of time position
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2704-2704	The number 3 argument of visibility in meteorology is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2705-2705	visibility in meteorology is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4934-4934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4933-4933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4932-4932
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2707-2707
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2706-2706

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2537-2550	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2566-2580	If a process is an instance of atmospheric hazing and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2.0 and the real number is less than 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number

consequent

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

Weather.kif 2642-2651

If a process is an instance of blizzard,
then there exist a region and a real number such that the region is an instance of geographic area and the process is located at the region and the visibility at the region during the time of existence of the process is the real number meter(s) and the real number is less than 400.0

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