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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EngineeringConnection
EngineeringConnection(engineering connection)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3648-3657
No TPTP formula. May not be expressible in strict first order. Merge.kif 16117-16133
No TPTP formula. May not be expressible in strict first order. Merge.kif 16116-16116 Engineering connection is a subclass of engineering component

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1398-1398 Cable is a subclass of engineering connection
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1387-1387 Internet connection is a subclass of engineering connection
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1062-1062
No TPTP formula. May not be expressible in strict first order. english_format.kif 1335-1335
No TPTP formula. May not be expressible in strict first order. french_format.kif 740-740
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 271-271
No TPTP formula. May not be expressible in strict first order. terms-it.txt 274-274
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2424-2424
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 692-692
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 310-310
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 761-761
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 275-275

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16159-16159 The number 1 argument of connects engineering components is an instance of engineering connection

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16135-16138