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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipRegister
ShipRegister(ship register)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1107-1111
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6854-6854
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1106-1106 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 1134-1134 The range of ship register is an instance of ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1198-1198 Flag of convenience register is a subclass of ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1168-1168 Internal ship register is a subclass of ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1121-1121 National ship register is a subclass of ship register
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1182-1182 Offshore ship register is a subclass of ship register
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52713-52713
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52712-52712
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52711-52711

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1049-1049 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 1145-1149
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1151-1155
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1139-1143