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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryFunction
BinaryFunction(二元函数)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1999-1999
No TPTP formula. May not be expressible in strict first order. Merge.kif 3402-3403
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 635-636
No TPTP formula. May not be expressible in strict first order. Merge.kif 3398-3398 二元函数 是 函数 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3400-3400 二元函数 是 可继承的关系 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3399-3399 二元函数 是 三元关系 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 280-280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 279-279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 278-278
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2410-2410 中止 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2476-2476 中止发射 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2430-2430 任务中止 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4707-4707 加法函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 924-924 AlbumCopiesFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7573-7573 AmountsFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1774-1774 Attr 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 68-68 每千人分娩 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14970-14970 BodySideFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 686-686 边界 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1167-1167 细胞部分 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 440-440 每个女人出生的孩子 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3319-3319 ClickThroughRateFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1042-1042 ContestFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8586-8586 日函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 101-101 每千人死亡 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 227-227 每千名活产婴儿死亡人数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6644-6644 密度函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18322-18322 DepartmentOfFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18390-18390 DepartmentOfPreventingFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 476-476 定向分区域 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4739-4739 除法函数 是 二元函数 的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3721-3721 分布 的 1 数量 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3722-3722 分布 的 2 数量 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5278-5278 单位元 的 1 数量 是 二元函数 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3405-3407


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