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 15835-15851
No TPTP formula. May not be expressible in strict first order. Merge.kif 15834-15834 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 1376-1376 Cable is a subclass of engineering connection
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1365-1365 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15877-15877 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 15853-15856