No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2783-2797	If a region is the end of a transit system, then there exists an object such that the object is an instance of transitway and the region is connected to the object and the transit system is a system part of the object and there doesn't exist the object2 such that the object2 is an instance of transitway and the region is connected to the object2 and the transit system is a system part of the object2 and the object is not equal to the object2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2760-2774	If a region is the start of a transit system, then there exists an object such that the object is an instance of transitway and the region is connected to the object and the transit system is a system part of the object and there doesn't exist the object2 such that the object2 is an instance of transitway and the region is connected to the object2 and the transit system is a system part of the object2 and the object is not equal to the object2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5693-5699	If a water area is the outfall of a river, then there exists an object such that the object is an instance of water area and the object is a flows of the river and the water area is connected to the object

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