TreeView Knowledge Base Browser

appearance as argument number 1

(disjointRelation mutualStranger mutualAcquaintance)	Mid-level-ontology.kif 23410-23410	相互陌生的人和相识熟人是 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 23400-23404
(domain mutualStranger 1 Human)	Mid-level-ontology.kif 23406-23406	相互陌生的人的 1 数量是人类的 instance
(domain mutualStranger 2 Human)	Mid-level-ontology.kif 23407-23407	相互陌生的人的 2 数量是人类的 instance
(instance mutualStranger BinaryPredicate)	Mid-level-ontology.kif 23397-23397	相互陌生的人是二元谓语的 instance
(instance mutualStranger SymmetricRelation)	Mid-level-ontology.kif 23398-23398	相互陌生的人是对称关系的 instance
(subrelation mutualStranger stranger)	Mid-level-ontology.kif 23408-23408	相互陌生的人是陌生人的 subrelation

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 39509-39509
(termFormat ChineseTraditionalLanguage mutualStranger "相互陌生的人")	domainEnglishFormat.kif 39508-39508
(termFormat EnglishLanguage mutualStranger "mutual stranger")	domainEnglishFormat.kif 39507-39507