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 8037-8039
No TPTP formula. May not be expressible in strict first order. Merge.kif 8033-8033 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8034-8034 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8032-8032 date is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8030-8030 date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8031-8031 date is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8035-8035 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 450-450
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 18603-18603
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18602-18602

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14396-14413
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1041-1053
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3727-3741
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3704-3716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12395-12409
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 788-796

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 766-774
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 646-659
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 661-674
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1365-1375
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22018-22024
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3922-3927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22032-22038


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