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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transitway
Transitway

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3355-3356
No TPTP formula. May not be expressible in strict first order. Merge.kif 14313-14316
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12042-12042
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10304-10304
No TPTP formula. May not be expressible in strict first order. Merge.kif 14311-14311 Transitway est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Merge.kif 14312-14312 Transitway est une sous-classe de objet en une partie

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1247-1247 AirTransitway est une sous-classe de Transitway
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11744-11744 Airway est une sous-classe de Transitway
No TPTP formula. May not be expressible in strict first order. Merge.kif 14330-14330 LandTransitway est une sous-classe de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 773-773 Pipeline est une sous-classe de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3143-3143 TransitwayJunction est une sous-classe de Transitway
No TPTP formula. May not be expressible in strict first order. Geography.kif 5576-5576 Waterway est une sous-classe de Transitway
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58906-58906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58905-58905
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58904-58904

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1603-1603 Le nombre 1 argument de TransitFn est une instance de Transitway
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24420-24420 Le nombre 2 argument de distanceOnPath est une instance de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2768-2768 Le nombre 1 argument de pathInSystem est une instance de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3083-3083 Le nombre 1 argument de routeBetween est une instance de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2788-2788 Le nombre 1 argument de routeInSystem est une instance de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3216-3216 Le nombre 1 argument de transitwayCapacityCount est une instance de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3226-3226 Le nombre 1 argument de transitwayCapacityRate est une instance de Transitway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1609-1613
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2891-2901
No TPTP formula. May not be expressible in strict first order. Merge.kif 14322-14328

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2923-2927
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2877-2882
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2828-2842
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2805-2819


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



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