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 6294-6297
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 6292-6292	子類 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.	Economy.kif 1027-1027	範圍 GrossNationalProductFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7835-7835	範圍財富 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6962-6962	範圍 equilibriumPriceFn 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 2121-2121	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1308-1308	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1833-1833	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	french_format.kif 986-986	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 521-521	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 525-525	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2670-2670	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 938-938	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 527-527	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 561-561	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 820-820	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1007-1007	子類 ShareUnit and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 526-526	子類 ShareUnit and CurrencyMeasure

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3340-3340	域稅後收入, 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 1634-1634	域區域年度支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1623-1623	域期間面積的年度支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2509-2509	域年出口總額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2910-2910	域年進口總額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1606-1606	域面積年收入, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1595-1595	域期間面積的年收入, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1500-1500	域評估價值, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1941-1941	域問價格, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3823-3823	域可用餘額, 3 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3846-3846	域可用現金, 3 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3360-3360	域稅前收入, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1921-1921	域競標價格, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4107-4107	域購買電量, 3 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1674-1674	域地區的資本支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1653-1653	域期間面積的資本支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3485-3485	域收盤價, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3382-3382	域補償方案, 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 3886-3886	域每期積分, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3964-3964	域貨幣兌換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 6379-6383	等於測量 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: