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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Roadway

Sigma KEE - Roadway
Roadway

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3359-3361
No TPTP formula. May not be expressible in strict first order. Merge.kif 14322-14327
No TPTP formula. May not be expressible in strict first order. pictureList.kif 183-183
No TPTP formula. May not be expressible in strict first order. Merge.kif 14321-14321 Roadway est une sous-classe de LandTransitway

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17875-17875 Driveway est une sous-classe de Roadway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1646-1646 Lane est une sous-classe de Roadway
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22217-22217 Road est une sous-classe de Roadway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2971-2971 RoadJunction est une sous-classe de Roadway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1643-1643 SecondaryHighway est une sous-classe de Roadway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1644-1644 Street est une sous-classe de Roadway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 625-625 SurfacedRoadway est une sous-classe de Roadway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 635-635 UnsurfacedRoadway est une sous-classe de Roadway
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50204-50204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50203-50203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50202-50202

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6707-6707 Le nombre 2 argument de StreetAddressFn est une instance de Roadway
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24813-24813 Le nombre 2 argument de postStreet est une instance de Roadway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 484-491 totalLengthOfHighwaySystem 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 2089-2093
No TPTP formula. May not be expressible in strict first order. Transportation.kif 493-501
No TPTP formula. May not be expressible in strict first order. Cars.kif 4776-4786
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15050-15056
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15661-15666
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2002-2007


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