Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ProbabilityRelation
Sigma KEE - domesticPartner
domesticPartner
appearance as argument number 1
(
instance
domesticPartner
BinaryPredicate
)
Mid-level-ontology.kif 25678-25678
domestic partner
is an
instance
of
binary predicate
(
instance
domesticPartner
SymmetricRelation
)
Mid-level-ontology.kif 25679-25679
domestic partner
is an
instance
of
symmetric relation
(
instance
domesticPartner
IntentionalRelation
)
Mid-level-ontology.kif 25680-25680
domestic partner
is an
instance
of
intentional relation
(
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 25682-25686
domestic partner
is an
instance
of
intentional relation
(
domain
domesticPartner
1
Human
)
Mid-level-ontology.kif 25688-25688
The number 1 argument of
domestic partner
is an
instance
of
human
(
domain
domesticPartner
2
Human
)
Mid-level-ontology.kif 25689-25689
The number 2 argument of
domestic partner
is an
instance
of
human
(
subrelation
domesticPartner
cohabitant
)
Mid-level-ontology.kif 25692-25692
domestic partner
is a
subrelation
of
cohabitant
appearance as argument number 2
(
disjointRelation
spouse
domesticPartner
)
Mid-level-ontology.kif 25691-25691
spouse
and
domestic partner
are
disjoint
(
format
EnglishLanguage
domesticPartner
"%2 is %n a domestic partner of %1")
domainEnglishFormat.kif 790-790
spouse
and
domestic partner
are
disjoint
(
format
ChineseTraditionalLanguage
domesticPartner
"%2 %n 是 %1 domestic 夥伴")
domainEnglishFormat.kif 791-791
spouse
and
domestic partner
are
disjoint
(
format
ChineseLanguage
domesticPartner
"%2 %n 是 %1 domestic 伙伴")
domainEnglishFormat.kif 792-792
spouse
and
domestic partner
are
disjoint
(
termFormat
EnglishLanguage
domesticPartner
"domestic partner")
domainEnglishFormat.kif 20142-20142
spouse
and
domestic partner
are
disjoint
(
termFormat
ChineseTraditionalLanguage
domesticPartner
"國內的合作夥伴")
domainEnglishFormat.kif 20143-20143
spouse
and
domestic partner
are
disjoint
(
termFormat
ChineseLanguage
domesticPartner
"国内的合作伙伴")
domainEnglishFormat.kif 20144-20144
spouse
and
domestic partner
are
disjoint
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners