No TPTP formula. May not be expressible in strict first order.	Geography.kif 5869-5869	Le nombre 1 argument de hazardous est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4075-4075	Le nombre 1 argument de located est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 645-645	Le nombre 1 argument de managedBy est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5891-5891	Le nombre 1 argument de maritimeHazard est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7502-7502	Le nombre 1 argument de measure est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1279-1279	Le nombre 1 argument de member est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7783-7783	Le nombre 1 argument de monetaryValue est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 907-907	Le nombre 1 argument de nearOrientation est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2752-2752	Le nombre 2 argument de needs est une instance de physique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1438-1438	Le nombre 2 argument de objectOfBid est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 922-922	Le nombre 1 argument de onOrientation est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4045-4045	Le nombre 1 argument de partlyLocated est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7736-7736	Le nombre 1 argument de price est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14334-14334	Le nombre 2 argument de record est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16608-16608	Le nombre 2 argument de registeredItem est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Dining.kif 671-671	Le nombre 1 argument de reservationChannel est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25576-25576	Le nombre 1 argument de shape est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6135-6135	Le nombre 1 argument de systemPart est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3866-3866	Le nombre 1 argument de time est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29918-29918	Le nombre 1 argument de uniqueIdWithRespectTo est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29919-29919	Le nombre 2 argument de uniqueIdWithRespectTo est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2766-2766	Le nombre 2 argument de wants est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24191-24191	Le nombre 1 argument de weddingAnniversary est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18324-18324	Le nombre 2 argument de DepartmentOfFn est une sous-classe de physique
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 501-501	Le nombre 1 argument de contractedRentalPrice est une sous-classe de physique
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