| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1521-1523 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1525-1525 | O argumento numero 1 de beliefGroupPercentInRegion e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1526-1526 | O argumento numero 2 de beliefGroupPercentInRegion e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1527-1527 | O argumento numero 3 de beliefGroupPercentInRegion e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1524-1524 | beliefGroupPercentInRegion e' uma instancia de Predicado Ternario |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2890-2890 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2889-2889 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2888-2888 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65787-65787 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1528-1539 | beliefGroupPercentInRegion BeliefGroup, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de BeliefGroup Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2 |
|
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