TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2775-2780
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8692-8699
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1505-1510
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8688-8688	域第二, 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8689-8689	域子類第二, 2 and Minute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8686-8686	例第二 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8687-8687	例第二 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8685-8685	例第二 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8690-8690	範圍子類第二 and Second

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 475-475
No TPTP formula. May not be expressible in strict first order.	english_format.kif 481-481
No TPTP formula. May not be expressible in strict first order.	french_format.kif 274-274
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 259-259
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2064-2064
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 280-280
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 618-618
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 296-296
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 295-295
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 301-301
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 451-451
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9384-9384	相關的內部概念 Second and 第二
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 476-476
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51813-51813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51812-51812
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51811-51811

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8705-8710	例 TimeInterval and 第二 PositiveInteger and Minute 例 TimeInterval and 第二 PositiveInteger and Minute 等於減法 PositiveInteger and PositiveInteger and 1 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8701-8703	例 Entity and 第二 PositiveInteger and Minute 少於 PositiveInteger and 60

statement

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 2143-2143

等於 unix時代 and 第二 0 and 分 0 and 小時 0 and 天 1 and 月 January and 年 1970

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: