equal

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24496-24498 符号串另一个 符号串concatenation第三 符号串 若且唯若 那个 第三 符号串 equal 那个 符号串那个 另外 符号串concatenation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24466-24468 符号串 非负整数 characters long 若且唯若 那个 非负整数 equal 那个 符号串length
No TPTP formula. May not be expressible in strict first order. Merge.kif 5421-5425
No TPTP formula. May not be expressible in strict first order. Merge.kif 7596-7611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31387-31394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17948-17959
No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29507-29519
No TPTP formula. May not be expressible in strict first order. Music.kif 426-436
No TPTP formula. May not be expressible in strict first order. Music.kif 444-449
No TPTP formula. May not be expressible in strict first order. Music.kif 457-470
No TPTP formula. May not be expressible in strict first order. Government.kif 1977-1985
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19443-19453
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25748-25761
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1003-1014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24236-24246
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 829-836
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 32-46

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