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 2681-2684
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2676-2680
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2685-2685	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 2686-2686	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 2687-2687	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 2688-2688	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 2690-2690
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2689-2689

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2520-2533	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 2549-2563	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 2711-2731	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 2733-2754	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 2692-2709	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 2625-2634

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