| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23372-23372 | spouse et domesticPartner sont disjoint |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3713-3713 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16586-16587 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16584-16584 | Le nombre 1 argument de spouse est une instance de humain |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16585-16585 | Le nombre 2 argument de spouse est une instance de humain |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16581-16581 | spouse est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16583-16583 | spouse est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16582-16582 | spouse est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16580-16580 | spouse est une sous-relation de legalRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16578-16578 | spouse est une sous-relation de mutualAcquaintance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16344-16344 | spouse est une sous-relation de relative |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4594-4594 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4593-4593 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4592-4592 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54798-54798 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54797-54797 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54796-54796 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7971-7981 | |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 307-317 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23185-23201 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23151-23158 | stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23168-23175 | stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1426-1431 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1415-1420 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22306-22320 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1025-1034 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7964-7969 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14169-14175 |
|
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