hazardous - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - hazardous

hazardous

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5935-5937
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5932-5934
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5938-5938	The number 1 argument of hazardous is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5939-5939	The number 2 argument of hazardous is an instance of object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5940-5940	hazardous is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5941-5941
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4107-4107	Hazardous material transport attribute is internally related to hazardous
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5962-5962	maritime hazard is a subrelation of hazardous
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5943-5943	maritime hazard is a subrelation of hazardous
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5942-5942	maritime hazard is a subrelation of hazardous

antecedent

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

Geography.kif 5945-5954

If a physical is hazardous to an object,
then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1561-1574	If a process is an instance of heavy zone and an object is an instance of water area and the process is located at the object, then there exist another process and an agent such that the other process is an instance of swimming and the agent is an instance of human and the agent is an agent of the other process and the other process is located at the object and the process is hazardous to the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5966-5974	If a physical is hazardous to an object., then there exist a process and another object such that the process is an instance of water transportation and the object is an instrument for the process and the process is located at the other object and the physical is located at the other object and the physical is hazardous to the object

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