| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10613-10615 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10611-10611 | Le nombre 1 argument de expects est une instance de agent cognitif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10612-10612 | Le nombre 2 argument de expects est une instance de formule |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10610-10610 | expects est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3354-3354 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3353-3353 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3352-3352 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7385-7385 | fears est une sous-relation de expects |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7397-7397 | hopes est une sous-relation de expects |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22792-22792 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22791-22791 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22790-22790 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10617-10625 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 684-695 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10653-10665 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19347-19353 |
|
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