visibilityInMeteorology - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - visibilityInMeteorology

visibilityInMeteorology

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2694-2697
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2689-2693
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2698-2698	Le nombre 1 argument de visibilityInMeteorology est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2699-2699	Le nombre 2 argument de visibilityInMeteorology est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2700-2700	Le nombre 3 argument de visibilityInMeteorology est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2701-2701	visibilityInMeteorology est une instance de pr�dicat ternaire

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 2703-2703
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2702-2702

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2533-2546	Processus est une instance de Fogging eventLocated processus and r�gion r�gion est une instance de secteur g�ographique objet est une instance de AtmosphericRegion objet est Above � r�gion objet est une instance de Aerosal locatedAtTime objet, temps d'existence de processus and objet visibilityInMeteorology r�gion, temps d'existence de processus and nombre r�el Meter(s) nombre r�el est moins que 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2576	Processus est une instance de AtmosphericHazing eventLocated processus and r�gion r�gion est une instance de secteur g�ographique objet est une instance de AtmosphericRegion objet est Above � r�gion locatedAtTime objet, temps d'existence de processus and objet visibilityInMeteorology r�gion, temps d'existence de processus and nombre r�el Kilometer(s) nombre r�el est plus grand que 2.0 nombre r�el est moins que 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2724-2744	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure interval temporel est une instance de DayTime processus est une instance de Looking objet est une instance de objet color objet and Black processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet eventLocated processus and r�gion temps d'existence de processus prend place pendant interval temporel objet est une instance de objet nombre r�el la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2746-2767	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure interval temporel est une instance de NightTime processus est une instance de Looking objet est une instance de r�gion Illuminated est un attribut de objet la mesure de objet est 1000.0 Candela(s) processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet eventLocated processus and r�gion temps d'existence de processus prend place pendant interval temporel objet est une instance de objet nombre r�el la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2705-2722	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure processus AutonomousAgent, objet and nombre r�el processus est une instance de Looking processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet temps d'existence de processus prend place pendant interval temporel eventLocated processus and r�gion la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el

consequent

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

Weather.kif 2638-2647

Processus est une instance de Blizzard
r�gion nombre r�el r�gion est une instance de secteur g�ographique eventLocated processus and r�gion visibilityInMeteorology r�gion, temps d'existence de processus and nombre r�el Meter(s) nombre r�el est moins que 400.0

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