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. Merge.kif 11991-11992
No TPTP formula. May not be expressible in strict first order. Merge.kif 11987-11989
No TPTP formula. May not be expressible in strict first order. Merge.kif 11994-11995
No TPTP formula. May not be expressible in strict first order. Merge.kif 11984-11984 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 11981-11981 Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11983-11983 Past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11982-11982 Past is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 11985-11985 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 646-646
No TPTP formula. May not be expressible in strict first order. english_format.kif 647-647
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 17011-17023
No TPTP formula. May not be expressible in strict first order. Merge.kif 1045-1052
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 8353-8364
No TPTP formula. May not be expressible in strict first order. Merge.kif 12001-12003
No TPTP formula. May not be expressible in strict first order. Merge.kif 12021-12023
No TPTP formula. May not be expressible in strict first order. Merge.kif 11997-11999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9029-9039


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