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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShipRegister

 Sigma KEE - ShipRegister
ShipRegister

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 ShipRegister e' uma sub-classe de Objeto Representendo Conteudo Abstrato

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1134-1134 O contra-dominio de ShipRegisterFn e' uma instancia de ShipRegister
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1198-1198 FlagOfConvenienceRegister e' uma sub-classe de ShipRegister
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1168-1168 InternalShipRegister e' uma sub-classe de ShipRegister
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1121-1121 NationalShipRegister e' uma sub-classe de ShipRegister
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1182-1182 OffshoreShipRegister e' uma sub-classe de ShipRegister
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 O argumento numero 2 de marineInventory e' uma instancia de ShipRegister

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