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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PastFn
PastFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2739-2740
No TPTP formula. May not be expressible in strict first order. Merge.kif 7817-7819
No TPTP formula. May not be expressible in strict first order. Merge.kif 7814-7814 The number 1 argument of past is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 7811-7811 Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7813-7813 Past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7812-7812 Past is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7815-7815 The range of past is an instance of time interval

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 457-457
No TPTP formula. May not be expressible in strict first order. english_format.kif 466-466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44659-44659 "过去" is the printable form of past in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 458-458 "过去函数" is the printable form of past in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44658-44658 "過去" is the printable form of past in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44657-44657 "past" is the printable form of past in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11667-11679
No TPTP formula. May not be expressible in strict first order. Merge.kif 683-690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20013-20024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17129-17135
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8354-8365
No TPTP formula. May not be expressible in strict first order. Merge.kif 7825-7827
No TPTP formula. May not be expressible in strict first order. Merge.kif 7839-7841
No TPTP formula. May not be expressible in strict first order. Merge.kif 7821-7823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9030-9040


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners