CurrencyMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2419-2421
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6303-6306
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1107-1109
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6301-6301	子類 CurrencyMeasure and ConstantQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3227-3227	範圍 ABPFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3272-3272	範圍 ASPFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3195-3195	範圍 AuctionGMBFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2949-2949	範圍 GMBFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2992-2992	範圍 GMVFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7793-7793	範圍財富 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 513-513	子類利益 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2107-2107	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1308-1308
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1833-1833
No TPTP formula. May not be expressible in strict first order.	french_format.kif 986-986
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 521-521
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 525-525
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2670-2670
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 938-938
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 527-527
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 561-561
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1007-1007
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 526-526

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3326-3326	域稅後收入, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 912-912	域收費金額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 650-650	域到期金額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1448-1448	域 amountOfBid, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1509-1509	域區域年度支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1498-1498	域期間面積的年度支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2269-2269	域年出口總額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2575-2575	域年進口總額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1481-1481	域面積年收入, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1470-1470	域期間面積的年收入, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1486-1486	域評估價值, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1927-1927	域問價格, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3809-3809	域可用餘額, 3 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3832-3832	域可用現金, 3 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3346-3346	域稅前收入, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1907-1907	域競標價格, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4093-4093	域購買電量, 3 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1549-1549	域地區的資本支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1528-1528	域期間面積的資本支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3471-3471	域收盤價, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3368-3368	域補償方案, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Dining.kif 119-119	域 corkageFee, 1 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 792-792	域信用額度, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3872-3872	域每期積分, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3629-3629	域貨幣兌換perUS美元, 1 and CurrencyMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1416-1425	例 Bidding and Bidding 例 Object and Physical 例 CurrencyMeasure and CurrencyMeasure 例 AutonomousAgent and AutonomousAgent Bidding 是個 bid 對於 Object CurrencyMeasure 是 Bidding 的 bid agent Bidding and AutonomousAgent AutonomousAgent bids CurrencyMeasure 對於 Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average price and 部 RealNumber and Integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average selling price and 部 RealNumber and Integer

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6388-6392	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfCurrency 例 PhysicalQuantity and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	例 Process and Auctioning 例 Object and Object 患者 Process and Object AutonomousAgent CurrencyMeasure 例 AutonomousAgent and AutonomousAgent 例 CurrencyMeasure and CurrencyMeasure AutonomousAgent bids CurrencyMeasure 對於 Object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 505-511	協議對於 FunctionQuantity 指定 Physical 的 rental PhysicalQuantity PhysicalQuantity 例 PhysicalQuantity and CurrencyMeasure 例 PhysicalQuantity and TimeDuration 等於 FunctionQuantity and PhysicalQuantity 是 PhysicalQuantity 的 per
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2104-2124	例 Process and CurrencyExchangeService Entity entity, Entity, entity, AutonomousAgent, entity, entity, entity and entity agent Process and AutonomousAgent 等於 entity and entity 例 Entity and CurrencyMeasure 例 Entity and CurrencyMeasure 持有期間開始何時 Process and 貨幣價值 entity and Entity 擁有 AutonomousAgent and entity 等於 Entity and 測量 entity and entity 持有期間結束何時 Process and 貨幣價值 entity and Entity 擁有 AutonomousAgent and entity 擁有 AutonomousAgent and entity 等於 Entity and 測量 entity and entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 459-465	Physical 由 CognitiveAgent 定的 price 根據 PricingScheme 是 FunctionQuantity PhysicalQuantity PhysicalQuantity 例 PhysicalQuantity and TimeDuration 例 PhysicalQuantity and CurrencyMeasure 等於 FunctionQuantity and PhysicalQuantity 是 PhysicalQuantity 的 per
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 402-407	unit price 已收費 CognitiveAgent 在 PricingScheme 底下對於 FunctionQuantity 是 Entity PhysicalQuantity RealNumber and UnitOfMeasure 等於 FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是 PhysicalQuantity 的 per 例 PhysicalQuantity and CurrencyMeasure

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

KB Term:			Term intersection

English Word: