Home / Glossary / TVA

TVA stands for “transitive via arg”. #$transitiveViaArg is one of the “transitive via arg” predicates supported by Cyc inference. These predicates are used to state that one predicate behaves transitively — in a specified argument place — with respect to a second binary predicate. The other main “transitive via arg” predicate in Cyc is #$transitiveViaArgInverse. Important related predicates are #$conservativeViaArg and #$conservativeViaArgInverse.


7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA