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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipContainer
ShipContainer

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2609-2610
No TPTP formula. May not be expressible in strict first order. pictureList.kif 914-914
No TPTP formula. May not be expressible in strict first order. pictureList.kif 881-881
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2608-2608 ShipContainer est une sous-classe de Container

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2611-2611 ShipContainer s'appele nom "intermodal container"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52655-52655
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52654-52654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52653-52653

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2613-2622

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2339-2341


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