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, 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 13246-13249
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12069-12069
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10325-10325
No TPTP formula. May not be expressible in strict first order. Merge.kif 13244-13244 Transitway is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 13245-13245 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 9932-9932 Airway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. Merge.kif 13251-13251 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 2940-2940 Transitway junction is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. Geography.kif 5253-5253 Waterway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58812-58812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58811-58811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58810-58810

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 22121-22121 The number 2 argument of distanceOnPath is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2701-2701 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 2881-2881 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 2721-2721 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 3013-3013 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 3023-3023 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 2824-2834
No TPTP formula. May not be expressible in strict first order. Merge.kif 13256-13262

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2858-2862
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2810-2815
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2761-2775
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2738-2752


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