ChineseTraditionalLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 315-315
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 323-323
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2910-2910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3142-3142
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 331-331
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 383-383
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 399-399
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 403-403
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 447-447
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 451-451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2998-2998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3002-3002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3006-3006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3010-3010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 495-495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 539-539
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3086-3086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3126-3126
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3138-3138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 607-607
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 663-663
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3170-3170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 687-687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 691-691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3222-3222

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners