Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeDuration
TimeDuration

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1781-1782
No TPTP formula. May not be expressible in strict first order. Merge.kif 2075-2076
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 394-395
No TPTP formula. May not be expressible in strict first order. Merge.kif 2073-2073 子類 TimeDuration and TimeMeasure

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7084-7084 例 一天長度 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8756-8756 例 DecadeDuration and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7092-7092 例 小時 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7100-7100 例 分鐘 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7117-7117 例 月持續時間 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 6709-6709 例 第二期 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7108-7108 例 週持續時間 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7135-7135 例 年持續時間 and TimeDuration
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 878-878
No TPTP formula. May not be expressible in strict first order. english_format.kif 958-958
No TPTP formula. May not be expressible in strict first order. french_format.kif 554-554
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 84-84
No TPTP formula. May not be expressible in strict first order. terms-it.txt 87-87
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2239-2239
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 89-89
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 121-121
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 575-575
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 88-88

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1275-1275 域 AccelerationFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Cars.kif 2104-2104 域 RotationFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 6658-6658 域 速度, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Weather.kif 1957-1957 域 TimeIntervalListFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14037-14037 域 TimePeriodFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 6669-6669 域 速度, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7519-7519 域 年齡, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Law.kif 543-543 域 ageOfMajorityForProcess, 1 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Music.kif 330-330 域 albumLength, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Weather.kif 1221-1221 域 期間平均降水量, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1187-1187 域 批次到達, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1181-1181 域 批量延遲, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2148-2148 域 收集率, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Weather.kif 862-862 域 白天的總時數, 3 and TimeDuration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1245-1245 域 依賴延遲, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. WMD.kif 1531-1531 域 疾病孵化, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. WMD.kif 1532-1532 域 疾病孵化, 3 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7903-7903 域 持續時間, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7912-7912 域 頻率, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1504-1504 域 粒度, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Weather.kif 1875-1875 域 measuringListDuration, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Weather.kif 1857-1857 域 measuringListInterval, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Military.kif 838-838 域 軍事時代, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 755-755 域 最低付費, 3 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16966-16966 域 貨幣工資, 3 and TimeDuration

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6400-6404
No TPTP formula. May not be expressible in strict first order. Catalog.kif 505-511
No TPTP formula. May not be expressible in strict first order. Catalog.kif 459-465


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