Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| stranger |
| appearance as argument number 1 |
|
| (instance stranger BinaryPredicate) | Mid-level-ontology.kif 25648-25648 | stranger is an instance of binary predicate |
| (documentation stranger EnglishLanguage "(stranger ?H1 ?H2) means that ?H1 has not met ?H2, or, in other words, (not (acquaintance ?H1 ?H2)). Statements made with stranger should be temporally specified with holdsDuring. Note that stranger is not symmetric, meaning that ?H2 might know ?H1. For the symmetric version, see mutualStranger.") | Mid-level-ontology.kif 25650-25656 | stranger is an instance of binary predicate |
| (domain stranger 1 Human) | Mid-level-ontology.kif 25658-25658 | The number 1 argument of stranger is an instance of human |
| (domain stranger 2 Human) | Mid-level-ontology.kif 25659-25659 | The number 2 argument of stranger is an instance of human |
| (disjointRelation stranger acquaintance) | Mid-level-ontology.kif 25661-25661 | stranger and acquaintance are disjoint |
| appearance as argument number 2 |
|
|
| (subrelation mutualStranger stranger) | Mid-level-ontology.kif 25674-25674 | mutual stranger is a subrelation of stranger |
| (format EnglishLanguage stranger "%2 is %n a stranger of %1") | domainEnglishFormat.kif 2377-2377 | mutual stranger is a subrelation of stranger |
| (format ChineseTraditionalLanguage stranger "%2 %n 是 %1 的 stranger ") | domainEnglishFormat.kif 2378-2378 | mutual stranger is a subrelation of stranger |
| (format ChineseLanguage stranger "%2 %n 是 %1 的 stranger ") | domainEnglishFormat.kif 2379-2379 | mutual stranger is a subrelation of stranger |
| (termFormat EnglishLanguage stranger "stranger") | domainEnglishFormat.kif 55543-55543 | mutual stranger is a subrelation of stranger |
| (termFormat ChineseTraditionalLanguage stranger "陌生人") | domainEnglishFormat.kif 55544-55544 | mutual stranger is a subrelation of stranger |
| (termFormat ChineseLanguage stranger "陌生人") | domainEnglishFormat.kif 55545-55545 | mutual stranger is a subrelation of stranger |
|