TreeView Knowledge Base Browser - MerchantMarineFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MerchantMarineFn

Sigma KEE - MerchantMarineFn

MerchantMarineFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 968-970
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 965-965	The number 1 argument of merchant marine is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 964-964	Merchant marine is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 966-966	The range of merchant marine is an instance of merchant marine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1703-1703
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1702-1702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1701-1701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37163-37163
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37162-37162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37161-37161

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1064-1068	If a merchant marine fOC ships by origin a geopolitical area for a nonnegative integer and the merchant marine is equal to the merchant marine of another geopolitical area, then the geopolitical area is not equal to the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	If a geopolitical area is an instance of geopolitical area and the merchant marine of the geopolitical area is an instance of merchant marine, then the geopolitical area possesses the merchant marine of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 972-976	If a geopolitical area is an instance of geopolitical area and a physical is a member of the merchant marine of the geopolitical area, then the physical is an instance of merchant marine ship
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1157-1166	If an agent is an instance of ship and a geopolitical area is an instance of geopolitical area and the agent is a member of the merchant marine of the geopolitical area, then there exists an object such that the object is an instance of ship registration and the agent possesses the object and the ship register of the geopolitical area subsumes the content of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1113-1119	If a merchant marine is an instance of the merchant marine of a geopolitical area, then there exists a ship register such that the ship register is an instance of ship register and the geopolitical area possesses the ship register and the ship register is a marine inventory of the merchant marine

consequent

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

Transportation.kif 978-982

If a geopolitical area is an instance of geopolitical area and the merchant marine of the geopolitical area is an instance of merchant marine,
then the geopolitical area possesses the merchant marine of the geopolitical area

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