| appearance as argument number 1 |
|
| (documentation grandmother EnglishLanguage "(grandmother ?PERSON ?PARENT) means that ?PARENT is the grandmother of ?PERSON.") | Mid-level-ontology.kif 24733-24734 | |
| (domain grandmother 1 Human) | Mid-level-ontology.kif 24735-24735 | Le nombre 1 argument de grandmother est une instance de humain |
| (domain grandmother 2 Woman) | Mid-level-ontology.kif 24736-24736 | Le nombre 2 argument de grandmother est une instance de Woman |
| (instance grandmother BinaryPredicate) | Mid-level-ontology.kif 24660-24660 | grandmother est une instance de pr�dicat binaire |
| (subrelation grandmother grandparent) | Mid-level-ontology.kif 24659-24659 | grandmother est une sous-relation de grandparent |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage grandmother "%1 的 grandmother 是 %2 ") | domainEnglishFormat.kif 3540-3540 | |
| (format ChineseTraditionalLanguage grandmother "%1 的 grandmother 是 %2 ") | domainEnglishFormat.kif 3539-3539 | |
| (format EnglishLanguage grandmother "the grandmother of %1 is %2") | domainEnglishFormat.kif 3538-3538 | |
| (termFormat ChineseLanguage grandmother "祖母") | domainEnglishFormat.kif 26411-26411 | |
| (termFormat ChineseTraditionalLanguage grandmother "祖母") | domainEnglishFormat.kif 26410-26410 | |
| (termFormat EnglishLanguage grandmother "grandmother") | domainEnglishFormat.kif 26409-26409 |
| antecedent |
|
|
| (=> (grandmother ?H ?P) (exists (?C) (and (mother ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 24738-24743 |
| consequent |
|
|
| (<=> (cousin ?P1 ?P2) (and (exists (?G1 ?G2) (and (grandmother ?P1 ?G1) (grandfather ?P1 ?G2) (grandmother ?P2 ?G1) (grandfather ?P2 ?G2))) (not (exists (?M ?F) (and (mother ?P1 ?M) (father ?P1 ?F) (mother ?P2 ?M) (father ?P2 ?F)))))) |
Mid-level-ontology.kif 24704-24719 | cousin humain and humain Woman Man grandmother humain and Woman grandfather humain and Man grandmother humain and Woman grandfather humain and Man organisme organisme organisme est la m�re de humain organisme est le p�re de humain organisme est la m�re de humain organisme est le p�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