| appearance as argument number 1 |
|
| (disjointRelation mutualStranger mutualAcquaintance) | Mid-level-ontology.kif 24472-24472 | |
| (documentation mutualStranger EnglishLanguage "(mutualStranger ?H1 ?H2) means that ?H1 and ?H2 have not met each other and do not know each other. Statements made with this predicate should be temporally specified with holdsDuring. See also the weaker, non_symmetric version of this predicate, stranger.") | Mid-level-ontology.kif 24462-24466 | |
| (domain mutualStranger 1 Human) | Mid-level-ontology.kif 24468-24468 | |
| (domain mutualStranger 2 Human) | Mid-level-ontology.kif 24469-24469 | |
| (instance mutualStranger BinaryPredicate) | Mid-level-ontology.kif 24459-24459 | |
| (instance mutualStranger SymmetricRelation) | Mid-level-ontology.kif 24460-24460 | |
| (subrelation mutualStranger stranger) | Mid-level-ontology.kif 24470-24470 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage mutualStranger "%2 %n 是 %1 的 mutual 陌生人") | domainEnglishFormat.kif 1775-1775 | |
| (format ChineseTraditionalLanguage mutualStranger "%2 %n 是 %1 的 mutual 陌生人") | domainEnglishFormat.kif 1774-1774 | |
| (format EnglishLanguage mutualStranger "%2 is %n a mutual stranger of %1") | domainEnglishFormat.kif 1773-1773 | |
| (termFormat ChineseLanguage mutualStranger "相互陌生的人") | domainEnglishFormat.kif 39537-39537 | |
| (termFormat ChineseTraditionalLanguage mutualStranger "相互陌生的人") | domainEnglishFormat.kif 39536-39536 | |
| (termFormat EnglishLanguage mutualStranger "mutual stranger") | domainEnglishFormat.kif 39535-39535 |
|
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