part

-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2725-2725 path in system is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Merge.kif 17941-17941 physical end is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Merge.kif 949-949 piece is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Merge.kif 928-928 proper part is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13206-13206 quarter is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24398-24398 sub string is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13188-13188 third is a subrelation of part
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 162-162
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44519-44519
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44518-44518
No TPTP formula. May not be expressible in strict first order. terms-de.txt 61-61


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