TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Quantity ChineseLanguage "这是任何表示东西数量或多少的规格。故此 Quantity 共有两个子类别：Number （数量)和 PhysicalQuantity (多少)。")	chinese_format.kif 1708-1709
(documentation Quantity EnglishLanguage "Any specification of how many or how much of something there is. Accordingly, there are two subclasses of Quantity: Number (how many) and PhysicalQuantity (how much).")	Merge.kif 1696-1698
(documentation Quantity JapaneseLanguage "何かの数や量の任意の仕様。それに応じて、二つの Quantity のサブクラスがある：Number (数)と PhysicalQuantity (量)。")	japanese_format.kif 311-312
(partition Quantity FiniteQuantity InfiniteQuantity)	Mid-level-ontology.kif 2872-2872	劃分 Quantity, 有限數量 and 無限的數量
(subclass Quantity Abstract)	Merge.kif 1694-1694	子類 Quantity and Abstract

appearance as argument number 2

(disjointDecomposition Abstract Quantity Attribute Relation Proposition List)	Merge.kif 1670-1670	不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List
(range ConversionRateFn Quantity)	UXExperimentalTerms.kif 2843-2843	範圍 ConversionRateFn and Quantity
(range PerCapitaFn Quantity)	Mid-level-ontology.kif 8057-8057	範圍 PerCapitaFn and Quantity
(subclass FiniteQuantity Quantity)	Mid-level-ontology.kif 2874-2874	子類有限數量 and Quantity
(subclass InfiniteQuantity Quantity)	Mid-level-ontology.kif 2878-2878	子類無限的數量 and Quantity
(subclass MultipoleQuantity Quantity)	engineering.kif 293-293	子類多極數量 and Quantity
(subclass Number Quantity)	Merge.kif 1824-1824	子類 Number and Quantity
(subclass PhysicalDimension Quantity)	engineering.kif 74-74	子類物理尺寸 and Quantity
(subclass PhysicalQuantity Quantity)	Merge.kif 2025-2025	子類 PhysicalQuantity and Quantity
(termFormat ChineseLanguage Quantity "数量")	chinese_format.kif 854-854
(termFormat EnglishLanguage Quantity "quantity")	english_format.kif 910-910
(termFormat FrenchLanguage Quantity "quantit�")	french_format.kif 530-530
(termFormat Hindi Quantity "parimaaNa")	terms-hindi.txt 61-61
(termFormat ItalianLanguage Quantity "Quantit�")	terms-it.txt 64-64
(termFormat JapaneseLanguage Quantity "量")	japanese_format.kif 2215-2215
(termFormat PortugueseLanguage Quantity "Quantidade")	portuguese_format.kif 482-482
(termFormat cb Quantity "kadaghan")	terms-cb.txt 66-66
(termFormat cz Quantity "quantity")	terms-cz.txt 97-97
(termFormat ro Quantity "cantitate")	relations-ro.kif 551-551
(termFormat tg Quantity "dami")	terms-tg.txt 65-65

appearance as argument number 3

(domain LiftFn 1 Quantity)	UXExperimentalTerms.kif 4551-4551	域 LiftFn, 1 and Quantity
(domain LiftFn 2 Quantity)	UXExperimentalTerms.kif 4553-4553	域 LiftFn, 2 and Quantity
(domain PerCapitaFn 1 Quantity)	Mid-level-ontology.kif 8055-8055	域 PerCapitaFn, 1 and Quantity
(domain allowableValue 3 Quantity)	Mid-level-ontology.kif 31365-31365	域 allowableValue, 3 and Quantity
(domain benchmarkPerformance 3 Quantity)	QoSontology.kif 1040-1040	域基準表現, 3 and Quantity
(domain concentration 1 Quantity)	Medicine.kif 224-224	域 concentration, 1 and Quantity
(domain concentration 3 Quantity)	Medicine.kif 226-226	域 concentration, 3 and Quantity
(domain defaultMaxValue 3 Quantity)	Merge.kif 18442-18442	域 defaultMaxValue, 3 and Quantity
(domain defaultMaximumMeasure 2 Quantity)	Mid-level-ontology.kif 13532-13532	域 defaultMaximumMeasure, 2 and Quantity
(domain defaultMeasure 2 Quantity)	Mid-level-ontology.kif 13562-13562	域 defaultMeasure, 2 and Quantity
(domain defaultMinValue 3 Quantity)	Merge.kif 18425-18425	域 defaultMinValue, 3 and Quantity
(domain defaultMinimumMeasure 2 Quantity)	Mid-level-ontology.kif 13501-13501	域 defaultMinimumMeasure, 2 and Quantity
(domain defaultValue 3 Quantity)	Merge.kif 18459-18459	域 defaultValue, 3 and Quantity
(domain equipmentCount 3 Quantity)	Mid-level-ontology.kif 24311-24311	域設備數量, 3 and Quantity
(domain maxValue 3 Quantity)	Merge.kif 18407-18407	域 maxValue, 3 and Quantity
(domain memberMeasure 3 Quantity)	Mid-level-ontology.kif 31009-31009	域 memberMeasure, 3 and Quantity
(domain minValue 3 Quantity)	Merge.kif 18389-18389	域 minValue, 3 and Quantity
(domain shortage 5 Quantity)	Mid-level-ontology.kif 30888-30888	域 shortage, 5 and Quantity
(domain total 2 Quantity)	UXExperimentalTerms.kif 4533-4533	域 total, 2 and Quantity

antecedent

(=>
    (and
        (instance ?QUANTITY1 Quantity)
        (instance ?QUANTITY2 Quantity))
    (equal
        (LiftFn ?QUANTITY1 ?QUANTITY2)
        (DivisionFn
            (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))

UXExperimentalTerms.kif 4563-4571

例 RealNumber and Quantity 例 RealNumber and Quantity
等於 RealNumber 的 financial improvement 百分比在 RealNumber 之上 and 部減法 RealNumber and RealNumber and RealNumber

consequent

(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 30030-30060	例 Process and BreakingRecord agent Process and AutonomousAgent Set Class, Process, TimePoint, CaseRole, Object and Entity 例 Set and Set 元件 AutonomousAgent and Set 子類 Class and Process 例 Object and Region 例 TimePoint and TimePoint 例 Entity and Quantity 例 Process and Class 參照 Process and Entity 參照 Entity and Process AutonomousAgent 對於 Process 在事件 CaseRole plays 角色 Process 是 located 在 Object Entity Entity 例 Entity and Set 等於 Entity and AutonomousAgent 例 Entity and Class 持有期間時間間隔 TimePoint and 結束何時 Process and Entity 對於 Entity 在事件 CaseRole plays 角色 Entity 是 located 在 Object
(=> (and (total ?CLASS ?QUANTITY) (instance ?ITEM ?CLASS)) (instance ?ITEM Quantity))	UXExperimentalTerms.kif 4540-4544	total 價值在 Class 是 Quantity 例 Entity and Class 例 Entity and Quantity

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

KB Term:			Term intersection

English Word: