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

Formal Language: 



KB Term:  Term intersection
English Word: 

  cargo

Sigma KEE - cargo
cargo

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22917-22919
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22921-22921 The number 1 argument of cargo is an instance of shipping
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22922-22922 The number 2 argument of cargo is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22916-22916 cargo is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22915-22915 cargo is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22924-22924 cargo is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22923-22923 cargo is a subrelation of transported

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 69-69
No TPTP formula. May not be expressible in strict first order. english_format.kif 69-69
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1883-1883
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 70-70
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13229-13229
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13228-13228

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


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


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