EnglishLanguage(english language)

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2824-2824
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18-18
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2713-2713
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22-22
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2716-2716
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2714-2714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26-26
No TPTP formula. May not be expressible in strict first order. english_format.kif 690-690
No TPTP formula. May not be expressible in strict first order. Cars.kif 1271-1272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34-34
No TPTP formula. May not be expressible in strict first order. english_format.kif 684-684
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54-54
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2708-2708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2720-2720
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 90-90
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2748-2748
No TPTP formula. May not be expressible in strict first order. Merge.kif 5262-5262
No TPTP formula. May not be expressible in strict first order. Merge.kif 5272-5272
No TPTP formula. May not be expressible in strict first order. Merge.kif 5252-5252
No TPTP formula. May not be expressible in strict first order. english_format.kif 349-349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 206-206
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 218-218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2844-2844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 222-222
No TPTP formula. May not be expressible in strict first order. Merge.kif 3275-3275

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 3.0 is open source software produced by Articulate Software and its partners