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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - time
time

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2079-2082
No TPTP formula. May not be expressible in strict first order. Merge.kif 3871-3877
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 726-730
No TPTP formula. May not be expressible in strict first order. Merge.kif 3866-3866 时间 的 1 数量 是 物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3867-3867 时间 的 2 数量 是 时间位置instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3864-3864 时间非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3862-3862 时间二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3863-3863 时间时间关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3865-3865 时间总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3869-3869 时间在这段时间为真 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 3868-3868 时间位于 是 内部相关

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 191-191
No TPTP formula. May not be expressible in strict first order. english_format.kif 192-192
No TPTP formula. May not be expressible in strict first order. french_format.kif 115-115
No TPTP formula. May not be expressible in strict first order. relations-it.txt 299-299
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1944-1944
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 67-67
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 116-116
No TPTP formula. May not be expressible in strict first order. relations-de.txt 244-244
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 335-335
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 134-134
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 120-120
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 491-491
No TPTP formula. May not be expressible in strict first order. Merge.kif 8546-8546 日期时间subrelation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 192-192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58117-58117
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58116-58116
No TPTP formula. May not be expressible in strict first order. terms-de.txt 77-77

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2754-2766
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2768-2780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23513-23526
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. Justice.kif 61-69
No TPTP formula. May not be expressible in strict first order. Merge.kif 12804-12810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23260-23267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23289-23296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23312-23317
No TPTP formula. May not be expressible in strict first order. Catalog.kif 467-492
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3312-3321
No TPTP formula. May not be expressible in strict first order. Merge.kif 8206-8210
No TPTP formula. May not be expressible in strict first order. Merge.kif 7974-7977

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


No TPTP formula. May not be expressible in strict first order. Government.kif 706-713
No TPTP formula. May not be expressible in strict first order. Merge.kif 7960-7967
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2438-2445
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 137-146
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2754-2766
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2768-2780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23513-23526
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1428-1443
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22260-22273
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 955-964
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2669-2685
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2623-2639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2687-2703
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2641-2659
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3312-3321
No TPTP formula. May not be expressible in strict first order. Merge.kif 8110-8122
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2373-2380
No TPTP formula. May not be expressible in strict first order. Merge.kif 839-844
No TPTP formula. May not be expressible in strict first order. Merge.kif 12795-12802
No TPTP formula. May not be expressible in strict first order. Merge.kif 12282-12289
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3097-3110
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 979-984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23280-23287
No TPTP formula. May not be expressible in strict first order. Merge.kif 8124-8130

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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