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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NarrowGauge
NarrowGauge
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 448-451
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6717-6717
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7389-7389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7390-7390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7391-7391
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7392-7392
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7393-7393
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7394-7394
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7396-7396
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7397-7397
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7398-7398
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7400-7400
No TPTP formula. May not be expressible in strict first order. Transportation.kif 447-447 NarrowGauge est une instance de TrackGauge

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39747-39747
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39746-39746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39745-39745

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 391-391 BroadGauge est l'oppos� de StandardGauge

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 453-458