Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipRegister
ShipRegister(ship register)
ship_register

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1054-1058
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6855-6855 "http://upload.wikimedia.org/wikipedia/commons/1/11/ Coast_guard_flag.gif" is a URL depicting ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1053-1053 Ship register 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 1081-1081 The range of ship register is an instance of ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1145-1145 Flag of convenience register is a subclass of ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1115-1115 Internal ship register is a subclass of ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1068-1068 National ship register is a subclass of ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1129-1129 Offshore ship register is a subclass of ship register
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9213-9213 "ship register" is the printable form of ship register in english language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 996-996 The number 2 argument of marine inventory is an instance of ship register

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1092-1096
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1098-1102
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1086-1090

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1060-1066


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners