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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimePeriodFn
TimePeriodFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14030-14032
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14035-14035 TimePeriodFn, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14036-14036 TimePeriodFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14029-14029 TimePeriodFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14037-14037 範圍 TimePeriodFn and TimeInterval

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4778-4778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4777-4777
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4776-4776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14033-14033

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14015-14020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14039-14045


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