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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VariableArityRelation

Sigma KEE - VariableArityRelation
VariableArityRelation(Relacao de aridade variavel)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2019-2020
No TPTP formula. May not be expressible in strict first order. Merge.kif 3525-3526
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 659-660
No TPTP formula. May not be expressible in strict first order. Merge.kif 3523-3523 Relacao de aridade variavel e' uma sub-classe de Relacao

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 785-785 AssignmentFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 4846-4846 GreatestCommonDivisorFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Geography.kif 404-404 LatitudeFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 4932-4932 LeastCommonMultipleFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 2933-2933 ListFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Geography.kif 443-443 LongitudeFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 456-456 contraryAttribute e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 565-565 disjointDecomposition e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 487-487 exhaustiveAttribute e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 547-547 exhaustiveDecomposition e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 581-581 partition e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 687-687 processList e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 930-930
No TPTP formula. May not be expressible in strict first order. english_format.kif 1067-1067
No TPTP formula. May not be expressible in strict first order. french_format.kif 606-606
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 137-137
No TPTP formula. May not be expressible in strict first order. terms-it.txt 140-140
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2291-2291
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 558-558
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 174-174
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 627-627
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 141-141

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3528-3532


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