Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
domesticPartner
Sigma KEE - domesticPartner
domesticPartner
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 23416-23420
(
domain
domesticPartner
1
Human
)
Mid-level-ontology.kif 23422-23422
The number 1 argument of
domestic partner
is an
instance
of
human
(
domain
domesticPartner
2
Human
)
Mid-level-ontology.kif 23423-23423
The number 2 argument of
domestic partner
is an
instance
of
human
(
instance
domesticPartner
BinaryPredicate
)
Mid-level-ontology.kif 23412-23412
domestic partner
is an
instance
of
binary predicate
(
instance
domesticPartner
IntentionalRelation
)
Mid-level-ontology.kif 23414-23414
domestic partner
is an
instance
of
intentional relation
(
instance
domesticPartner
SymmetricRelation
)
Mid-level-ontology.kif 23413-23413
domestic partner
is an
instance
of
symmetric relation
(
subrelation
domesticPartner
cohabitant
)
Mid-level-ontology.kif 23426-23426
domestic partner
is a
subrelation
of
cohabitant
appearance as argument number 2
(
disjointRelation
spouse
domesticPartner
)
Mid-level-ontology.kif 23425-23425
spouse
and
domestic partner
are
disjoint
(
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
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