Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  mutualStranger

Sigma KEE - mutualStranger
mutualStranger

appearance as argument number 1
-------------------------


(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 23641-23641 mutualStranger et mutualAcquaintance sont 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 mutualStranger et mutualAcquaintance sont disjoint
(domain mutualStranger 1 Human) Mid-level-ontology.kif 23637-23637 Le nombre 1 argument de mutualStranger est une instance de humain
(domain mutualStranger 2 Human) Mid-level-ontology.kif 23638-23638 Le nombre 2 argument de mutualStranger est une instance de humain
(instance mutualStranger BinaryPredicate) Mid-level-ontology.kif 23628-23628 mutualStranger est une instance de pr�dicat binaire
(instance mutualStranger SymmetricRelation) Mid-level-ontology.kif 23629-23629 mutualStranger est une instance de relation sym�trique
(subrelation mutualStranger stranger) Mid-level-ontology.kif 23639-23639 mutualStranger est une sous-relation de 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 39545-39545
(termFormat ChineseTraditionalLanguage mutualStranger "相互陌生的人") domainEnglishFormat.kif 39544-39544
(termFormat EnglishLanguage mutualStranger "mutual stranger") domainEnglishFormat.kif 39543-39543


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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