BinaryPredicate
(binary predicate)
(
instance
cardCode
BinaryPredicate
)
FinancialOntology.kif 3497-3497
card code
is an
instance
of
binary predicate
(
instance
cardinality
BinaryPredicate
)
Government.kif 435-435
cardinality
is an
instance
of
binary predicate
(
instance
cargo
BinaryPredicate
)
Mid-level-ontology.kif 22862-22862
cargo
is an
instance
of
binary predicate
(
instance
cargoType
BinaryPredicate
)
Transportation.kif 1035-1035
cargo type
is an
instance
of
binary predicate
(
instance
carrierFrequency
BinaryPredicate
)
ComputingBrands.kif 1547-1547
carrier frequency
is an
instance
of
binary predicate
(
instance
carries
BinaryPredicate
)
Mid-level-ontology.kif 4367-4367
carries
is an
instance
of
binary predicate
(
instance
catalogItem
BinaryPredicate
)
Catalog.kif 44-44
catalog item
is an
instance
of
binary predicate
(
instance
categoryID
BinaryPredicate
)
UXExperimentalTerms.kif 162-162
category identifier string
is an
instance
of
binary predicate
(
instance
categoryOf
BinaryPredicate
)
UXExperimentalTerms.kif 175-175
category of
is an
instance
of
binary predicate
(
instance
causes
BinaryPredicate
)
Merge.kif 3776-3776
causes
is an
instance
of
binary predicate
(
instance
causesProposition
BinaryPredicate
)
Merge.kif 3820-3820
causes proposition
is an
instance
of
binary predicate
(
instance
causesSubclass
BinaryPredicate
)
Merge.kif 3799-3799
causes subclass
is an
instance
of
binary predicate
(
instance
cellShape
BinaryPredicate
)
VirusProteinAndCellPart.kif 402-402
cell shape
is an
instance
of
binary predicate
(
instance
chamberOfLegislature
BinaryPredicate
)
Government.kif 2056-2056
chamber of legislature
is an
instance
of
binary predicate
(
instance
checkAccount
BinaryPredicate
)
FinancialOntology.kif 241-241
check account
is an
instance
of
binary predicate
(
instance
checkInTime
BinaryPredicate
)
Hotel.kif 659-659
check-in time
is an
instance
of
binary predicate
(
instance
checkNumber
BinaryPredicate
)
FinancialOntology.kif 3455-3455
check number
is an
instance
of
binary predicate
(
instance
checkOutTime
BinaryPredicate
)
Hotel.kif 677-677
check-out time
is an
instance
of
binary predicate
(
instance
chiefOfStateType
BinaryPredicate
)
Government.kif 1576-1576
chief of state type
is an
instance
of
binary predicate
(
instance
chromosomeNumber
BinaryPredicate
)
VirusProteinAndCellPart.kif 692-692
chromosome number
is an
instance
of
binary predicate
(
instance
circumfrence
BinaryPredicate
)
Mid-level-ontology.kif 31114-31114
circumfrence
is an
instance
of
binary predicate
(
instance
citizen
BinaryPredicate
)
Merge.kif 16772-16772
citizen
is an
instance
of
binary predicate
(
instance
claimedTerritory
BinaryPredicate
)
Geography.kif 963-963
claimed territory
is an
instance
of
binary predicate
(
instance
climateTypeInArea
BinaryPredicate
)
Geography.kif 1244-1244
climate type in area
is an
instance
of
binary predicate
(
instance
closedOn
BinaryPredicate
)
Merge.kif 3572-3572
closed on
is an
instance
of
binary predicate
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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