No TPTP formula. May not be expressible in strict first order.	Geography.kif 728-728	InternationalBorder est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5399-5399	LakeRegion est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14175-14175	Zone de terre est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3975-3975	LandForm est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5768-5768	LittoralZone est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14062-14062	LocalizablePlace est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1021-1021	MaritimeClaimArea est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22434-22434	Marketplace est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9013-9013	MilitaryFront est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24656-24656	Neighborhood est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 73-73	ParkingLot est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6067-6067	SubmergedLandArea est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 562-562	SurfaceGroundArea est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22611-22611	TouristSite est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3988-3988	UndergroundArea est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14142-14142	Plan d'eau est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 587-587	WaterOnlyArea est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 948-948
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1103-1103
No TPTP formula. May not be expressible in strict first order.	french_format.kif 624-624
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 158-158
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2309-2309
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 576-576
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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