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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transitway
Transitway(transitway)
Belmont, Belmont_Park, access, approach, beeline, bend, celestial_orbit, course, crosscut, curve, cutoff, feeder_line, flyway, geosynchronous_orbit, itinerary, line_of_fire, main_line, migration_route, orbit, passage, path, route, shortcut, supply_line, supply_route, track, trade_route, transitway, way, 公交专用道, 公交專用道

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 13128-13131
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12069-12069 "http://upload.wikimedia.org/wikipedia/commons/b/b3/ PlanMetroNY2.png" is a URL depicting transitway
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10325-10325 "http://upload.wikimedia.org/wikipedia/en/9/97/Sydney_Tway_Network.png" is a URL depicting transitway
No TPTP formula. May not be expressible in strict first order. Merge.kif 13126-13126 Transitway is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 13127-13127 Transitway is a subclass of self connected object

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1236-1236 Air transitway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9937-9937 Airway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. Merge.kif 13133-13133 Land transitway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 762-762 Pipeline is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2931-2931 Transitway junction is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. Geography.kif 5254-5254 Waterway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58849-58849 "公交专用道" is the printable form of transitway in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58848-58848 "公交專用道" is the printable form of transitway in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58847-58847 "transitway" is the printable form of transitway in english language

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1588-1588 The number 1 argument of transit is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22084-22084 The number 2 argument of distanceOnPath is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2692-2692 The number 1 argument of path in system is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2872-2872 The number 1 argument of route between is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2712-2712 The number 1 argument of route in system is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3004-3004 The number 1 argument of transitway capacity count is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3014-3014 The number 1 argument of transitway capacity rate is an instance of transitway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1594-1598
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2815-2825
No TPTP formula. May not be expressible in strict first order. Merge.kif 13138-13144

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2849-2853
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2801-2806
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2752-2766
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2729-2743


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners