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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GreatestCommonDivisorFn

Sigma KEE - NanoFn
NanoFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2458-2460
No TPTP formula. May not be expressible in strict first order. Merge.kif 6555-6558
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1150-1152
No TPTP formula. May not be expressible in strict first order. Merge.kif 6552-6552 The number 1 argument of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6551-6551 Nano is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6553-6553 The range of nano is an instance of unit of measure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 647-647
No TPTP formula. May not be expressible in strict first order. english_format.kif 650-650
No TPTP formula. May not be expressible in strict first order. french_format.kif 390-390
No TPTP formula. May not be expressible in strict first order. relations-it.txt 198-198
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2120-2120
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 342-342
No TPTP formula. May not be expressible in strict first order. relations-de.txt 845-845
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 236-236
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 412-412
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 433-433
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 648-648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39693-39693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39692-39692
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39691-39691

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6560-6564


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