TreeView Knowledge Base Browser

appearance as argument number 1

(documentation domesticPartner EnglishLanguage "(holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 live together and share a common domestic life but are not joined in a traditional marriage, a common-law marriage, or a civil union.")	Mid-level-ontology.kif 23364-23368
(domain domesticPartner 1 Human)	Mid-level-ontology.kif 23370-23370	Die Zahl 1 Argument von domesticPartner ist ein fall von Human %n{nicht}
(domain domesticPartner 2 Human)	Mid-level-ontology.kif 23371-23371	Die Zahl 2 Argument von domesticPartner ist ein fall von Human %n{nicht}
(instance domesticPartner BinaryPredicate)	Mid-level-ontology.kif 23360-23360	domesticPartner ist ein fall von BinaryPredicate %n{nicht}
(instance domesticPartner IntentionalRelation)	Mid-level-ontology.kif 23362-23362	domesticPartner ist ein fall von IntentionalRelation %n{nicht}
(instance domesticPartner SymmetricRelation)	Mid-level-ontology.kif 23361-23361	domesticPartner ist ein fall von SymmetricRelation %n{nicht}
(subrelation domesticPartner cohabitant)	Mid-level-ontology.kif 23374-23374	domesticPartner ist eine teilrelation von cohabitant

appearance as argument number 2

(disjointRelation spouse domesticPartner)	Mid-level-ontology.kif 23373-23373	spouse und domesticPartner werden disjunkt
(format ChineseLanguage domesticPartner "%2 %n 是 %1 domestic 伙伴")	domainEnglishFormat.kif 792-792
(format ChineseTraditionalLanguage domesticPartner "%2 %n 是 %1 domestic 夥伴")	domainEnglishFormat.kif 791-791
(format EnglishLanguage domesticPartner "%2 is %n a domestic partner of %1")	domainEnglishFormat.kif 790-790
(termFormat ChineseLanguage domesticPartner "国内的合作伙伴")	domainEnglishFormat.kif 20142-20142
(termFormat ChineseTraditionalLanguage domesticPartner "國內的合作夥伴")	domainEnglishFormat.kif 20141-20141
(termFormat EnglishLanguage domesticPartner "domestic partner")	domainEnglishFormat.kif 20140-20140