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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - date
date

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2747-2748
No TPTP formula. May not be expressible in strict first order. Merge.kif 8548-8550
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1473-1474
No TPTP formula. May not be expressible in strict first order. Merge.kif 8544-8544 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8545-8545 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8542-8542 date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8543-8543 date is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8546-8546 date is a subrelation of time

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 441-441
No TPTP formula. May not be expressible in strict first order. english_format.kif 447-447
No TPTP formula. May not be expressible in strict first order. french_format.kif 255-255
No TPTP formula. May not be expressible in strict first order. relations-it.txt 64-64
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2049-2049
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 207-207
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 98-98
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 261-261
No TPTP formula. May not be expressible in strict first order. relations-de.txt 576-576
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 105-105
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 276-276
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 280-280
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 144-144
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 442-442
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18605-18605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18604-18604
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 145-145

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15515-15532
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1087-1099
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3838-3852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3815-3827
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24195-24206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14624-14638
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 834-842

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 655-667
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 807-816
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1411-1421
No TPTP formula. May not be expressible in strict first order. Biography.kif 178-184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24270-24276
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4031-4036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24284-24290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24216-24225


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