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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MerchantMarine

Sigma KEE - MerchantMarine
MerchantMarine
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 958-961
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7317-7317
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7318-7318
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7327-7327
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7319-7319
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7320-7320
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7321-7321
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7328-7328
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7322-7322
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7323-7323
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7324-7324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6699-6699
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7325-7325
No TPTP formula. May not be expressible in strict first order. Transportation.kif 957-957 MerchantMarine e' uma sub-classe de Colecao

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 966-966 O contra-dominio de MerchantMarineFn e' uma instancia de MerchantMarine
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37157-37157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37156-37156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37155-37155

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1054-1054 O argumento numero 1 de fOCShipsByOrigin e' uma instancia de MerchantMarine
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1048-1048 O argumento numero 1 de marineInventory e' uma instancia de MerchantMarine

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 978-982


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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