| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22790-22791 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22795-22795 | 抽象的部分 的 1 数量 是 抽象体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22796-22796 | 抽象的部分 的 2 数量 是 抽象体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22794-22794 | 抽象的部分 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22793-22793 | 抽象的部分 是 偏序关系 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22797-22797 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5184-5184 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5183-5183 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5182-5182 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22792-22792 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 391-399 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 391-399 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 436-441 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22809-22814 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 461-473 |
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 444-452 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 480-492 | |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 504-513 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1250-1250 | 抽象的部分 牛顿第一定律 and 牛顿法 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1257-1257 | 抽象的部分 牛顿第二定律 and 牛顿法 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1262-1262 | 抽象的部分 牛顿第三定律 and 牛顿法 |
|
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