BinaryFunction

-------------------------


(instance Mean3MinutesWindSpeedFn BinaryFunction) Weather.kif 2239-2239 Mean3MinutesWindSpeedFn and BinaryFunction
(instance Mean3SecondWindSpeedFn BinaryFunction) Weather.kif 1885-1885 Mean3SecondWindSpeedFn and BinaryFunction
(instance Mean3SecondWindSpeedListFn BinaryFunction) Weather.kif 1979-1979 Mean3SecondWindSpeedListFn and BinaryFunction
(instance MeasureFn BinaryFunction) Merge.kif 6347-6347 測量 and BinaryFunction
(instance MemberRoleFn BinaryFunction) Government.kif 1745-1745 成員角色 and BinaryFunction
(instance MereologicalDifferenceFn BinaryFunction) Merge.kif 9863-9863 分類差異 and BinaryFunction
(instance MereologicalProductFn BinaryFunction) Merge.kif 9842-9842 mereological產品 and BinaryFunction
(instance MereologicalSumFn BinaryFunction) Merge.kif 9820-9820 mereological 總和 and BinaryFunction
(instance MigrantsPerThousandFn BinaryFunction) People.kif 137-137 每千人移民 and BinaryFunction
(instance MinFn BinaryFunction) Merge.kif 5009-5009 and BinaryFunction
(instance MinimalWeightedPathFn BinaryFunction) Merge.kif 6009-6009 最小加權路徑 and BinaryFunction
(instance MinuteFn BinaryFunction) Merge.kif 8673-8673 and BinaryFunction
(instance MonthFn BinaryFunction) Merge.kif 8605-8605 and BinaryFunction
(instance MultiplicationFn BinaryFunction) Merge.kif 4695-4695 乘法 and BinaryFunction
(instance OrganismPopulationFn BinaryFunction) Mid-level-ontology.kif 31758-31758 OrganismPopulationFn and BinaryFunction
(instance PPIFn BinaryFunction) UXExperimentalTerms.kif 3082-3082 PPIFn and BinaryFunction
(instance PerCapitaFn BinaryFunction) Mid-level-ontology.kif 8081-8081 PerCapitaFn and BinaryFunction
(instance PerFn BinaryFunction) Merge.kif 6629-6629 and BinaryFunction
(instance PeriodicalIssueFn BinaryFunction) Mid-level-ontology.kif 14687-14687 定期發行 and BinaryFunction
(instance PopulationGrowthFn BinaryFunction) People.kif 35-35 人口增長 and BinaryFunction
(instance QuarterFn BinaryFunction) Merge.kif 9002-9002 QuarterFn and BinaryFunction
(instance ReachingMilitaryAgeAnnuallyMaleFn BinaryFunction) Military.kif 914-914 每年達到軍齡的男性 and BinaryFunction
(instance RecurrentTimeIntervalFn BinaryFunction) Merge.kif 8478-8478 經常性時間間隔 and BinaryFunction
(instance RelativeComplementFn BinaryFunction) Merge.kif 5465-5465 相對補充 and BinaryFunction
(instance RelativeTimeFn BinaryFunction) Merge.kif 17297-17297 相對時間 and BinaryFunction

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