BinaryFunction
(2変数関数)
(
instance
Mean3MinutesWindSpeedFn
BinaryFunction
)
Weather.kif 2256-2256
Mean3MinutesWindSpeedFn
は
2変数関数
の
instance
では %n
(
instance
Mean3SecondWindSpeedFn
BinaryFunction
)
Weather.kif 1902-1902
Mean3SecondWindSpeedFn
は
2変数関数
の
instance
では %n
(
instance
Mean3SecondWindSpeedListFn
BinaryFunction
)
Weather.kif 1996-1996
Mean3SecondWindSpeedListFn
は
2変数関数
の
instance
では %n
(
instance
MeasureFn
BinaryFunction
)
Merge.kif 6346-6346
MeasureFn
は
2変数関数
の
instance
では %n
(
instance
MemberRoleFn
BinaryFunction
)
Government.kif 1781-1781
MemberRoleFn
は
2変数関数
の
instance
では %n
(
instance
MereologicalDifferenceFn
BinaryFunction
)
Merge.kif 9827-9827
MereologicalDifferenceFn
は
2変数関数
の
instance
では %n
(
instance
MereologicalProductFn
BinaryFunction
)
Merge.kif 9806-9806
MereologicalProductFn
は
2変数関数
の
instance
では %n
(
instance
MereologicalSumFn
BinaryFunction
)
Merge.kif 9784-9784
MereologicalSumFn
は
2変数関数
の
instance
では %n
(
instance
MigrantsPerThousandFn
BinaryFunction
)
People.kif 137-137
MigrantsPerThousandFn
は
2変数関数
の
instance
では %n
(
instance
MinFn
BinaryFunction
)
Merge.kif 5008-5008
MinFn
は
2変数関数
の
instance
では %n
(
instance
MinimalWeightedPathFn
BinaryFunction
)
Merge.kif 6008-6008
MinimalWeightedPathFn
は
2変数関数
の
instance
では %n
(
instance
MinuteFn
BinaryFunction
)
Merge.kif 8637-8637
MinuteFn
は
2変数関数
の
instance
では %n
(
instance
MonthFn
BinaryFunction
)
Merge.kif 8569-8569
MonthFn
は
2変数関数
の
instance
では %n
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4694-4694
MultiplicationFn
は
2変数関数
の
instance
では %n
(
instance
OrganismPopulationFn
BinaryFunction
)
Mid-level-ontology.kif 31726-31726
OrganismPopulationFn
は
2変数関数
の
instance
では %n
(
instance
PPIFn
BinaryFunction
)
UXExperimentalTerms.kif 3082-3082
PPIFn
は
2変数関数
の
instance
では %n
(
instance
PerCapitaFn
BinaryFunction
)
Mid-level-ontology.kif 8054-8054
PerCapitaFn
は
2変数関数
の
instance
では %n
(
instance
PerFn
BinaryFunction
)
Merge.kif 6628-6628
PerFn
は
2変数関数
の
instance
では %n
(
instance
PeriodicalIssueFn
BinaryFunction
)
Mid-level-ontology.kif 14660-14660
PeriodicalIssueFn
は
2変数関数
の
instance
では %n
(
instance
PopulationGrowthFn
BinaryFunction
)
People.kif 35-35
PopulationGrowthFn
は
2変数関数
の
instance
では %n
(
instance
QuarterFn
BinaryFunction
)
Merge.kif 8966-8966
QuarterFn
は
2変数関数
の
instance
では %n
(
instance
ReachingMilitaryAgeAnnuallyMaleFn
BinaryFunction
)
Military.kif 923-923
ReachingMilitaryAgeAnnuallyMaleFn
は
2変数関数
の
instance
では %n
(
instance
RecurrentTimeIntervalFn
BinaryFunction
)
Merge.kif 8442-8442
RecurrentTimeIntervalFn
は
2変数関数
の
instance
では %n
(
instance
RelativeComplementFn
BinaryFunction
)
Merge.kif 5464-5464
RelativeComplementFn
は
2変数関数
の
instance
では %n
(
instance
RelativeTimeFn
BinaryFunction
)
Merge.kif 17226-17226
RelativeTimeFn
は
2変数関数
の
instance
では %n
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