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 4730-4734
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 4726-4726	域減法, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4727-4727	域減法, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5296-5296	身份元素減法 and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4723-4723	例減法 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4725-4725	例減法 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4728-4728	範圍減法 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 55854-55854
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 55853-55853
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55852-55852

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 3068-3089	等於 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 3170-3177	等於 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 3179-3188	等於 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 3190-3202	等於 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 23889-23903	持有期間 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 3331-3341	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 8603-8608	例 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 8629-8634	例 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 8656-8661	例 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 8683-8688	例 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 8748-8753	例 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 863-872	方位 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 852-861	方位 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 4768-4779	等於絕對值 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 1486-1497	等於 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.	Mid-level-ontology.kif 14837-14846	例 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 17906-17931	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

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7012-7014	等於測量 RealNumber and 攝氏度 and 測量部減法 RealNumber and 32.0 and 1.8 and 華氏度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7008-7010	等於測量 RealNumber and 攝氏度 and 測量減法 RealNumber and 273.15 and 凱文度
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	等於 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 4736-4737	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