| appearance as argument number 1 |
|
| (disjointRelation mutualStranger mutualAcquaintance) | Mid-level-ontology.kif 23641-23641 | mutual stranger and mutual acquaintance are disjoint |
| (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 23631-23635 | mutual stranger and mutual acquaintance are disjoint |
| (domain mutualStranger 1 Human) | Mid-level-ontology.kif 23637-23637 | The number 1 argument of mutual stranger is an instance of human |
| (domain mutualStranger 2 Human) | Mid-level-ontology.kif 23638-23638 | The number 2 argument of mutual stranger is an instance of human |
| (instance mutualStranger BinaryPredicate) | Mid-level-ontology.kif 23628-23628 | mutual stranger is an instance of binary predicate |
| (instance mutualStranger SymmetricRelation) | Mid-level-ontology.kif 23629-23629 | mutual stranger is an instance of symmetric relation |
| (subrelation mutualStranger stranger) | Mid-level-ontology.kif 23639-23639 | mutual stranger is a subrelation of stranger |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage mutualStranger "%2 %n 是 %1 的 mutual 陌生人") | domainEnglishFormat.kif 1771-1771 | |
| (format ChineseTraditionalLanguage mutualStranger "%2 %n 是 %1 的 mutual 陌生人") | domainEnglishFormat.kif 1770-1770 | |
| (format EnglishLanguage mutualStranger "%2 is %n a mutual stranger of %1") | domainEnglishFormat.kif 1769-1769 | |
| (termFormat ChineseLanguage mutualStranger "相互陌生的人") | domainEnglishFormat.kif 39540-39540 | |
| (termFormat ChineseTraditionalLanguage mutualStranger "相互陌生的人") | domainEnglishFormat.kif 39539-39539 | |
| (termFormat EnglishLanguage mutualStranger "mutual stranger") | domainEnglishFormat.kif 39538-39538 |
|
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