SubtractionFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SubtractionFn

SubtractionFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2216-2219
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4724-4728
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 880-883
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4720-4720	域減法, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4721-4721	域減法, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5290-5290	身份元素減法 and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4717-4717	例減法 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4719-4719	例減法 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4722-4722	範圍減法 and RealNumber

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 684-684
No TPTP formula. May not be expressible in strict first order.	english_format.kif 686-686
No TPTP formula. May not be expressible in strict first order.	french_format.kif 415-415
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 285-285
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2132-2132
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 367-367
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 424-424
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 891-891
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 322-322
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 437-437
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 459-459
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 477-477
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55887-55887
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 685-685
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55886-55886
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55885-55885
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 264-264

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and 0 等於 RealNumber and 減法 0 and RealNumber 金融賬戶是對於 Day 的 overdraft 測量 RealNumber and 美國美元
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 818-828	測量 RealNumber and UnitOfMeasure 是貸款的 down 費用 Object 是給貸款購買的 loan 貨幣價值 Object and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 減法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是貸款的 original 金額
No TPTP formula. May not be expressible in strict first order.	Media.kif 3050-3071	等於 SymbolicString and ReverseFn SymbolicString 等於 NonnegativeInteger and SymbolicString 的 length 比較多 NonnegativeInteger and 1 比較多 NonnegativeInteger and 0 少於 NonnegativeInteger and NonnegativeInteger 等於 Integer and 天花板部減法 NonnegativeInteger and 1 and 2 等於 NonnegativeIntegerEW and 加成減法 Integer and NonnegativeInteger and Integer 等於 SymbolicString and SymbolicString 的 sub_string 從 NonnegativeInteger 對於加成 1 and NonnegativeInteger 等於 SymbolicString and SymbolicString 的 sub_string 從 NonnegativeIntegerEW 對於加成 1 and NonnegativeIntegerEW
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3165-3172	等於 List and SubListFn Integer, Integer and List 等於減法 Integer and Integer and 0 等於 List and 空列表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3174-3183	等於 List and SubListFn PositiveInteger, Integer and List 等於減法 Integer and PositiveInteger and 1 等於 List and 名單清單順序 List and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3185-3197	等於 List and SubListFn PositiveInteger, Integer and List 比較多減法 Integer and PositiveInteger and 1 等於 List and 列表連接名單清單順序 List and PositiveInteger and SubListFn 加成 1 and PositiveInteger, Integer and List
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25543-25557	持有期間 TimeInterval and attribute AutonomousAgent and Menopausal 等於 RealNumber and 減法測量 1 and 年持續時間 and 開始 TimeInterval 等於 TimeInterval and 時間間隔 TimeInterval and 開始 TimeInterval Process 例 Process and 經期體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3345-3355	Human 是對於 %3 賺的 income 測量 RealNumber and UnitOfMeasure 是在收費的 amount charged 原因 OrganizationalProcess and 收費等於 RealNumber and 減法 RealNumber and RealNumber 從 OrganizationalProcess 由 Human 引申的 after tax income 是測量 RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8673-8678	例 TimeInterval and 天 PositiveInteger and Month 例 TimeInterval and 天 PositiveInteger and Month 等於減法 PositiveInteger and PositiveInteger and 1 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8699-8704	例 TimeInterval and 小時 NonnegativeInteger and Day 例 TimeInterval and 小時 NonnegativeInteger and Day 等於減法 NonnegativeInteger and NonnegativeInteger and 1 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8726-8731	例 TimeInterval and 分 NonnegativeInteger and Hour 例 TimeInterval and 分 NonnegativeInteger and Hour 等於減法 NonnegativeInteger and NonnegativeInteger and 1 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	例 FinancialTransaction and 付款起源 FinancialTransaction and 金融賬戶的 currency 例金融賬戶 and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 減法 RealNumber and RealNumber 金融賬戶對於 %3 的 current 帳戶存款
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8753-8758	例 TimeInterval and 第二 PositiveInteger and Minute 例 TimeInterval and 第二 PositiveInteger and Minute 等於減法 PositiveInteger and PositiveInteger and 1 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	例 FinancialTransaction and 退出例金融賬戶 and 金融賬戶起源 FinancialTransaction and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 減法 RealNumber and RealNumber 金融賬戶對於 %3 的 current 帳戶存款
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8818-8823	例 TimeInterval and 年 Integer 例 TimeInterval and 年 Integer 等於減法 Integer and Integer and 1 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 858-867	方位 Object, Region and 外例 Object and Region 的 perimeter 地區例 Object and 均勻的周邊區域寬度 Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Region and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 比較多減法 RealNumber and RealNumber and 0.0 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 847-856	方位 Object, Region and 外例 Object and Region 的 perimeter 地區例 Object and 均勻的周邊區域寬度 Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Region and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 小於或等於減法 RealNumber and RealNumber and 0.0 位於 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4762-4773	等於絕對值 RealNumber and NonnegativeRealNumber 例 RealNumber and RealNumber 例 NonnegativeRealNumber and RealNumber 例 RealNumber and NonnegativeRealNumber 等於 RealNumber and NonnegativeRealNumber 例 RealNumber and NegativeRealNumber 等於 NonnegativeRealNumber and 減法 0.0 and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 migrants and RealNumber 等於減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間年 and 等於 GeopoliticalArea 的 population and RealNumber 等於部 RealNumber and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea 等於減法 Integer and Integer and RealNumber 等於部 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	例年 and 年 Integer 等於 GeopoliticalArea 和年的 population 成長 and RealNumber 等於減法 Integer and IntegerP and 1 例 TimePosition and 年 IntegerP 持有期間年 and 等於 GeopoliticalArea 的 population and RealNumber 持有期間 TimePosition and 等於 GeopoliticalArea 的 population and RealNumber 等於部 RealNumber and RealNumber and RealNumber 等於減法 RealNumber and 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	RealNumber 是 List 的 average List PositiveInteger 等於列表長度 List and 列表長度 List 等於清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 在列表中 PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger 比較多 RealNumber and 1 小於或等於 RealNumber and 列表長度 List 等於清單順序 List and PositiveInteger and RealNumber 在列表中 PositiveInteger and List 等於 RealNumber and 清單順序 List and PositiveInteger 在列表中 PositiveInteger and List 等於 RealNumberMINUSONE and 減法 RealNumber and 1 等於 RealNumberMINUSONE and 清單順序 List and PositiveInteger 等於 PositiveInteger and 加成 PositiveInteger and PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 部清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1469-1480	等於 RealNumber and VarianceAverageFn RealNumber and List 等於 1 and 列表長度 List 等於 RealNumber and 乘法減法 RealNumber and 清單順序 List and 1 and 減法 RealNumber and 清單順序 List and 1
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3796-3808	例 Object and GeographicArea Object 是對於經度的 object 地理座標緯度等於測量 RealNumber and 圓周角度 and 位於地球經度緯度及緯度經度区的地磁偏角爲 PlaneAngleMeasure. (+) 代表偏角向東, (-)代表偏角向西, 0 代表差異 RealNumber 測量 RealNumber and 圓周角度是 Object 的 headingWRT 實際北極測量減法 RealNumber and RealNumber and 圓周角度是 Object 的 headingWRT 磁北極
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16218-16227	例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer 時間部分 TimePosition and WeekBeforeFn TimePosition 時間部分 TimePosition and WeekAfterFn TimePosition PositiveInteger 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer 等於 PositiveInteger and 減法 PositiveInteger and 7
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4563-4571	例 RealNumber and Quantity 例 RealNumber and Quantity 等於 RealNumber 的 financial improvement 百分比在 RealNumber 之上 and 部減法 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18040-18065	relativeAngle Object, Object and RealNumber physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object length Object and 測量 RealNumber and UnitOfMeasure length Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Object and 測量 RealNumber and UnitOfMeasure physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 空間的符合 Object and Object 等於 RealNumber and ArcCosineFn 部減法減法乘法 RealNumber and RealNumber and 乘法 RealNumber and RealNumber and 乘法 RealNumber and RealNumber and 乘法 2.0 and 乘法 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6647-6663	resourceConsumption Process and PhysicalQuantity 例 PhysicalQuantity and ConstantQuantity 資源 Process and Object 持有期間開始何時 Process and 測量 Object and 測量 RealNumber and UnitOfMeasure 持有期間結束何時 Process and 測量 Object and 測量 RealNumber and UnitOfMeasure 等於 PhysicalQuantity and 測量減法 RealNumber and RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6703-6729	resourceConsumption Process and FunctionQuantity 例 FunctionQuantity and FunctionQuantity 資源 Process and Object 等於 FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是測量 RealNumber and UnitOfMeasure 的 per 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure 持有期間開始何時 Process and 測量 Object and 測量 RealNumber and UnitOfMeasure 持有期間結束何時 Process and 測量 Object and 測量 PhysicalQuantity and UnitOfMeasure 等於 PhysicalQuantity and 測量減法 RealNumber and 乘法 RealNumber and 部 RealNumber and RealNumber and UnitOfMeasure

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7003-7005	等於測量 RealNumber and 攝氏度 and 測量部減法 RealNumber and 32.0 and 1.8 and 華氏度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6999-7001	等於測量 RealNumber and 攝氏度 and 測量減法 RealNumber and 273.15 and 凱文度
No TPTP formula. May not be expressible in strict first order.	Military.kif 991-1004	等於 GeopoliticalArea 和年每年的 reaching 軍事男性年齡 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀等於 entity and 減法 entity and 1 持有期間年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4730-4731	Integer 等於前任 Integer and 減法 Integer and 1

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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