maritimeHazard - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - maritimeHazard

maritimeHazard

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5889-5890
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5887-5888
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5891-5891	The number 1 argument of maritime hazard is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5892-5892	The number 2 argument of maritime hazard is an instance of object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5894-5894	maritime hazard is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5893-5893	maritime hazard is a subrelation of hazardous

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5895-5895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36233-36233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36232-36232
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36231-36231

antecedent

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

Geography.kif 5897-5905

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

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4751-4755	If a physical is an instance of iceberg and an object is an instance of water vehicle, then the physical is hazardous to the object.
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5959-5963	If a physical is an instance of reef and an object is an instance of water vehicle, then the physical is hazardous to the object.
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5929-5933	If a physical is an instance of shoal and an object is an instance of water vehicle, then 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