| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2726-2728 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8414-8418 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1451-1453 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8411-8411 | O argumento numero 1 de cooccur e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8412-8412 | O argumento numero 2 de cooccur e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8408-8408 | cooccur e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8410-8410 | cooccur e' uma instancia de Relacao Qquivalente |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8409-8409 | cooccur e' uma instancia de Relacao Temporal |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 439-439 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 445-445 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 254-254 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2048-2048 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 206-206 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 573-573 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 100-100 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 275-275 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 278-278 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 93-93 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17148-17148 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 440-440 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17147-17147 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17146-17146 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 135-135 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8420-8422 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 751-762 | PolyphonicMusic e' um atributo de Objeto Processo Processo Objeto e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Objeto Processo e' um sub-processo de Objeto Processo e' igual a Processo Processo acontece ao mesmo tempo que Objeto Processo acontece ao mesmo tempo que Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8424-8426 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26849-26858 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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