| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1586-1587 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1589-1589 | languagePercentInRegion 的 1 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1590-1590 | languagePercentInRegion 的 2 数量 是 实数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1591-1591 | languagePercentInRegion 的 3 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1588-1588 | languagePercentInRegion 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3726-3726 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3725-3725 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3724-3724 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65870-65870 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1592-1603 | 百分之 实数 的人在 地理区域 speak 语言 若且唯若 有存在 群体， 另一个 群体,， ， 有感知的主事,， ， 那个 有感知的主事2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 有感知的主事 是 located 在 那个 地理区域 和 那个 有感知的主事 是 那个 群体 的 member 和 那个 语言 是 那个 有感知的主事 的 speaks 语言 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 有感知的主事2 是 located 在 那个 地理区域 和 那个 有感知的主事2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2 |
|
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