Language
No TPTP formula. May not be expressible in strict first order.
Media.kif 3106-3106
域
titleInLanguage
, 3 and
Language
No TPTP formula. May not be expressible in strict first order.
Media.kif 3252-3252
域
translatedTitle
, 3 and
Language
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