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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimePeriodFn

 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 数量 是 时点 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14036-14036 TimePeriodFn 的 2 数量 是 持续时间 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14029-14029 TimePeriodFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14037-14037 TimePeriodFn 的 range 是 时距 的实例

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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