TreeView Knowledge Base Browser - PerFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PerFn

PerFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2476-2479
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6635-6640
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1169-1173
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6630-6630	域每, 1 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6631-6631	域每, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6628-6628	例每 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6629-6629	例每 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6633-6633	範圍每 and FunctionQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1935-1935
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1934-1934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1933-1933
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6642-6642	子關係密度 and 每
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6654-6654	子關係速度 and 每
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45102-45102
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45101-45101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45100-45100

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	等於測量 RealNumber and McgPerKg and MassMeasure 是 MassMeasure 的 per 等於 MassMeasure and 測量 RealNumber and 微公克等於 MassMeasure and 測量 RealNumber and 千公克 Process SelfConnectedObject and SelfConnectedObject 例 Process and Ingesting 例 SelfConnectedObject and BiologicallyActiveSubstance 例 SelfConnectedObject and Organism 患者 Process and SelfConnectedObject agent Process and SelfConnectedObject MassMeasure 是 SelfConnectedObject 的 weight MassMeasure 是 SelfConnectedObject 的 weight
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	Physical 由 CognitiveAgent 定的 price 根據 PricingScheme 是 FunctionQuantity 等於 FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是 CurrencyMeasure 的 per 例 UnitOfMeasure and UnitOfDuration 立即實例 Entity and Physical 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 時間 Process and RealNumberINT TimeInterval RealNumber 期間 RealNumberINT and TimeInterval 例 TimeInterval and TimeInterval 持續時間 TimeInterval and 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款目的地 FinancialTransaction and CognitiveAgent agent FinancialTransaction and AutonomousAgent CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	WMD.kif 803-810	測量 RealNumber and UnitOfMeasure 是測量 RealNumber and UnitOfMeasure 的 per 是生化劑的 effective 劑量例 UnitOfMeasure and UnitOfMass 例 UnitOfMeasure and UnitOfMass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 860-867	測量 RealNumber and UnitOfMeasure 是測量 RealNumber and UnitOfMeasure 的 per 是生化劑的 lethal 劑量例 UnitOfMeasure and UnitOfMass 例 UnitOfMeasure and UnitOfMass

consequent

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.	Weather.kif 1109-1123	例 Physical and 大雨持有期間何時 Physical and entity entity 例 entity and Region Physical 是 located 在 entity rain 的 rate 在 entity 期間何時 Physical 是測量 1 and 小時是測量 entity and 毫米的 per 比較多 entity and 10.0 比較多 50.0 and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2940-2955	例 Physical and Snowstorm 持有期間何時 Physical and entity entity and entity 例 entity and 下雪例 entity and GeographicArea entity 是 located 在 entity 子過程 entity and Physical snow 的下降 rate 在 entity 期間何時 entity 是測量 1 and 小時是測量 entity and 厘米的 per 比較多 entity and 5.0
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

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1439-1439	測量 1.0 and 千公克是測量 0.0004 and 微公克的 per 是葡萄球菌腸毒素b 的 effective 劑量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13696-13700	等於測量 1.0 and 平方英里 and 測量 1.0 and 英里是測量 1.0 and 英里的 per
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13706-13710	等於測量 1.0 and 方碼 and 測量 1.0 and 院子長度是測量 1.0 and 院子長度的 per
No TPTP formula. May not be expressible in strict first order.	WMD.kif 439-439	測量 1.0 and 千公克是測量 0.04 and 微公克的 per 是 abrin毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 310-310	測量 1.0 and 千公克是測量 2.0 and 微公克的 per 是 batrachotoxin 的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 325-325	測量 1.0 and 千公克是測量 0.001 and 微公克的 per 是肉毒桿菌毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1840-1840	測量 1.0 and 千公克是測量 23.0 and 毫公克的 per 是二乙酯scirpenol 的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 431-431	測量 1.0 and 千公克是測量 3.0 and 微公克的 per 是蓖麻毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 586-586	測量 1.0 and 千公克是測量 100.0 and 微公克的 per 是沙林的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1339-1339	測量 1.0 and 千公克是測量 0.002 and 微公克的 per 是志賀毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 582-582	測量 1.0 and 千公克是測量 64.0 and 微公克的 per 是梭曼的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1440-1440	測量 1.0 and 千公克是測量 0.02 and 微公克的 per 是葡萄球菌腸毒素b 的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1845-1845	測量 1.0 and 千公克是測量 5.2 and 毫公克的 per 是 t2毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 599-599	測量 1.0 and 千公克是測量 15.0 and 微公克的 per 是 VX 的 lethal 劑量

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