| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23213-23215 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23216-23216 | Le nombre 1 argument de stepmother est une instance de humain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23217-23217 | Le nombre 2 argument de stepmother est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23219-23219 | stepmother est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23218-23218 | stepmother est une sous-relation de legalRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4646-4646 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4645-4645 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4644-4644 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55310-55310 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55309-55309 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55308-55308 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23221-23228 | stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain |
|
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