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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimePosition

 Sigma KEE - TimePosition
TimePosition

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1783-1784
No TPTP formula. May not be expressible in strict first order. Merge.kif 2081-2082
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 396-397
No TPTP formula. May not be expressible in strict first order. Merge.kif 2079-2079 劃分 TimePosition, TimeInterval and TimePoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2078-2078 子類 TimePosition and TimeMeasure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17231-17231 範圍 相對時間 and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 2084-2084 子類 TimeInterval and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 2091-2091 子類 TimePoint and TimePosition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 879-879
No TPTP formula. May not be expressible in strict first order. english_format.kif 960-960
No TPTP formula. May not be expressible in strict first order. french_format.kif 555-555
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 85-85
No TPTP formula. May not be expressible in strict first order. terms-it.txt 88-88
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2240-2240
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 507-507
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 90-90
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 122-122
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 576-576
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 89-89

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8511-8511 域 未來, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 8528-8528 域 眼前的未來, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 8497-8497 域 不久的過去, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 8479-8479 域 過去, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 17229-17229 域 相對時間, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14809-14809 域 WeekAfterFn, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14816-14816 域 WeekBeforeFn, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 651-651 域 到期金額, 3 and TimePosition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3030-3030 域 在錢, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3369-3369 域 補償方案, 3 and TimePosition
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 897-897 域 組件數據ID, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Justice.kif 18-18 域 被拘留的時間到位, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 3881-3881 域 持有期間, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Government.kif 630-630 域 在該地區度假, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2997-2997 域 在錢, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23300-23300 域 位於時間, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22701-22701 域 時間上的會員, 3 and TimePosition
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 973-973 域 監控應用數據, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 948-948 域 監控組件數據, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 967-967 域 監控連接數據, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order. Justice.kif 33-33 域 在適當的時候觀察, 3 and TimePosition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3046-3046 域 沒錢了, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23273-23273 域 在類型的事件中發揮作用, 4 and TimePosition
No TPTP formula. May not be expressible in strict first order. Weather.kif 1525-1525 域 significantWaveHeight, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order. Merge.kif 7932-7932 域 時間部分, 1 and TimePosition

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. Geography.kif 1597-1603
No TPTP formula. May not be expressible in strict first order. Merge.kif 8298-8303
No TPTP formula. May not be expressible in strict first order. Merge.kif 4265-4270