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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PastFn

 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 8482-8484
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1465-1466
No TPTP formula. May not be expressible in strict first order. Merge.kif 8479-8479 过去函数 的 1 数量 是 时间位置 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8476-8476 过去函数 是 时间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8478 过去函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8477-8477 过去函数 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8480-8480 过去函数 的 range 是 时距 的实例

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 463-463
No TPTP formula. May not be expressible in strict first order. french_format.kif 265-265
No TPTP formula. May not be expressible in strict first order. relations-it.txt 215-215
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2055-2055
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 217-217
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 271-271
No TPTP formula. May not be expressible in strict first order. relations-de.txt 598-598
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 253-253
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 286-286
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 292-292
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 407-407
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44736-44736
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 458-458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44735-44735
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44734-44734

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12715-12728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22203-22214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19348-19354
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8673-8684
No TPTP formula. May not be expressible in strict first order. Merge.kif 8490-8492
No TPTP formula. May not be expressible in strict first order. Merge.kif 8504-8506
No TPTP formula. May not be expressible in strict first order. Merge.kif 8486-8488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9408-9418


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