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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SurfacedRoadway

Sigma KEE - SurfacedRoadway
SurfacedRoadway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 643-643 SurfacedRoadway est disjoint de UnsurfacedRoadway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 626-629
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1260-1260
No TPTP formula. May not be expressible in strict first order. Transportation.kif 625-625 SurfacedRoadway est une sous-classe de Roadway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 620-620 Expressway est une sous-classe de SurfacedRoadway
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56305-56305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56304-56304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56303-56303

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 631-633

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 542-549 lengthOfPavedHighway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order. Transportation.kif 551-559


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners