ShipRegisterFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ShipRegisterFn

ShipRegisterFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1135-1137
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1133-1133	The number 1 argument of ship register is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1132-1132	Ship register is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1134-1134	The range of ship register is an instance of ship register

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2271-2271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2270-2270
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2269-2269
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52719-52719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52718-52718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52717-52717

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1145-1149	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of nation, then the ship register of the geopolitical area is an instance of national ship register
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1151-1155	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of overseas area, then the ship register of the geopolitical area is an instance of offshore ship register
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1139-1143	If a geopolitical area is an instance of geopolitical area and the ship register of the geopolitical area is an instance of ship register, then the geopolitical area possesses the ship register of the geopolitical area

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1145-1149	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of nation, then the ship register of the geopolitical area is an instance of national ship register
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1151-1155	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of overseas area, then the ship register of the geopolitical area is an instance of offshore ship register
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1139-1143	If a geopolitical area is an instance of geopolitical area and the ship register of the geopolitical area is an instance of ship register, then the geopolitical area possesses the ship register of the geopolitical area
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
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