mutualStranger - Sigma Knowledge base Browser

appearance as argument number 1

(instance mutualStranger BinaryPredicate)	Mid-level-ontology.kif 25663-25663	mutual stranger is an instance of binary predicate
(instance mutualStranger SymmetricRelation)	Mid-level-ontology.kif 25664-25664	mutual stranger is an instance of symmetric relation
(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 25666-25670	mutual stranger is an instance of symmetric relation
(domain mutualStranger 1 Human)	Mid-level-ontology.kif 25672-25672	The number 1 argument of mutual stranger is an instance of human
(domain mutualStranger 2 Human)	Mid-level-ontology.kif 25673-25673	The number 2 argument of mutual stranger is an instance of human
(subrelation mutualStranger stranger)	Mid-level-ontology.kif 25674-25674	mutual stranger is a subrelation of stranger
(disjointRelation mutualStranger mutualAcquaintance)	Mid-level-ontology.kif 25676-25676	mutual stranger and mutual acquaintance are disjoint

appearance as argument number 2

(format EnglishLanguage mutualStranger "%2 is %n a mutual stranger of %1")	domainEnglishFormat.kif 1773-1773
(format ChineseTraditionalLanguage mutualStranger "%2 %n 是 %1 的 mutual 陌生人")	domainEnglishFormat.kif 1774-1774
(format ChineseLanguage mutualStranger "%2 %n 是 %1 的 mutual 陌生人")	domainEnglishFormat.kif 1775-1775
(termFormat EnglishLanguage mutualStranger "mutual stranger")	domainEnglishFormat.kif 39511-39511
(termFormat ChineseTraditionalLanguage mutualStranger "相互陌生的人")	domainEnglishFormat.kif 39512-39512
(termFormat ChineseLanguage mutualStranger "相互陌生的人")	domainEnglishFormat.kif 39513-39513