ShipRegistration - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ShipRegistration

ShipRegistration(ship registration)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1089-1095
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1087-1087	Ship registration is a subclass of content bearing object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1088-1088	Ship registration has name "ship registration"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52725-52725
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52724-52724
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52723-52723

antecedent

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

Transportation.kif 1097-1104

If an object is an instance of ship registration and an agent is an instance of ship and the agent possesses the object and a geopolitical area is an instance of geopolitical area and the geopolitical area is a flag state of the agent,
then the ship register of the geopolitical area subsumes the content of the object

consequent

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

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