TreeView Knowledge Base Browser - UnitOfDuration

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UnitOfDuration

UnitOfDuration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2431-2433
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6341-6344
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1122-1124
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6339-6339	子類 UnitOfDuration and NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19061-19061	例 CenturyDuration and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7083-7083	例一天長度 and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8755-8755	例 DecadeDuration and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7091-7091	例小時 and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13680-13680	例 MillenniumDuration and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7099-7099	例分鐘 and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7116-7116	例月持續時間 and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6708-6708	例第二期 and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7107-7107	例週持續時間 and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7134-7134	例年持續時間 and UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65655-65655

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6400-6404	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfDuration 例 PhysicalQuantity and TimeDuration
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2016-2029	例 Process and SpeakingAtAFasterRate 例 Process and SpeakingAtASlowerRate 例 UnitOfMeasure and UnitOfDuration agent Process and AutonomousAgent agent Process and AutonomousAgent 包含信息 Process and Proposition 包含信息 Process and Proposition 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2104-2113	例 Physical and SpeakingAShortUtterance 例 Physical and SpeakingALongUtterance 例 UnitOfMeasure and UnitOfDuration 持續時間何時 Physical and 測量 RealNumber and UnitOfMeasure 持續時間何時 Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
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.	Transportation.kif 1718-1736	車輛的 top speed 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 例 Entity and UnitOfLength 例 Entity and UnitOfDuration 等於 RealNumber and 可能性測量車輛 and 速度測量 LengthMeasure and Entity and 測量 TimeDuration and Entity 等於 RealNumber and 可能性測量車輛 and 速度測量 LengthMeasure and Entity and 測量 TimeDuration and Entity 比較多速度 LengthMeasure and TimeDuration and RealNumber 比較多 RealNumber and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.

Dining.kif 1044-1059

AutonomousAgent believes AutonomousAgent 是 Quick AutonomousAgent believes AutonomousAgent 是 Slow 例 Process and Class 例 Process and Class 子類 Class and Process agent Process and AutonomousAgent agent Process and AutonomousAgent
例 UnitOfMeasure and UnitOfDuration 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber

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