TreeView Knowledge Base Browser

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