Frame Language Inferences
C1
Instance-Of: Circuit
Input: C1-Addend1 C1-Addend2 C1-Carry-In
Output: C1-Sum C1-Carry-Out
Gate: X1 X2 A1 A2 O1
Component: C1-Addend1 C1-Addend2 C1-Carry-In C1-Sum
C1-Carry-Out X1 X2 A1 A2 O1
X1
Instance-Of: Xor-Gate
Input1: X1-Input1
Input2: X1-Input2
Output: X1-Output
Input: X1-Input1 X1-Input2
Component: X1-Input1 X1-Input2 X1-Output
Component-Of: C1
X1-Input1
Instance-Of: Terminal
Connected-To: C1-Addend1
Component-Of: X1