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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReciprocalFn

 Sigma KEE - ReciprocalFn
ReciprocalFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2263-2266
No TPTP formula. May not be expressible in strict first order. Merge.kif 5074-5081
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 927-931
No TPTP formula. May not be expressible in strict first order. Merge.kif 5071-5071 域 互相, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order. Merge.kif 5070-5070 例 互相 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5068-5068 例 互相 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 5072-5072 範圍 互相 and RealNumber

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 720-720
No TPTP formula. May not be expressible in strict first order. english_format.kif 722-722
No TPTP formula. May not be expressible in strict first order. french_format.kif 433-433
No TPTP formula. May not be expressible in strict first order. relations-it.txt 244-244
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2150-2150
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 385-385
No TPTP formula. May not be expressible in strict first order. relations-de.txt 933-933
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 282-282
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 455-455
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 493-493
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48964-48964
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 721-721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48963-48963
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48962-48962

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5087-5092
No TPTP formula. May not be expressible in strict first order. Merge.kif 5083-5085


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