No TPTP formula. May not be expressible in strict first order.	Weather.kif 168-168	Le nombre 1 argument de surfaceWindDirection est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 133-133	Le nombre 1 argument de surfaceWindSpeed est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 104-104	Le nombre 1 argument de surfaceWindVelocity est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6790-6790	Le nombre 2 argument de targetInAttack est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1122-1122	Le nombre 1 argument de tonicity est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1123-1123	Le nombre 2 argument de tonicity est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2604-2604	Le nombre 1 argument de trafficableForTrafficType est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22858-22858	Le nombre 2 argument de transported est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4184-4184	Le nombre 1 argument de traverses est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4185-4185	Le nombre 2 argument de traverses est une instance de objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 445-445	Le nombre 1 argument de unpaidItem est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4668-4668	Le nombre 1 argument de uses est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 951-951	Le nombre 1 argument de viewType est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 291-291	Le nombre 1 argument de windRelativePosition est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 722-722	Le nombre 1 argument de yearBuilt est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1777-1777	Le nombre 1 argument de AttrFn est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Media.kif 186-186	Le nombre 1 argument de ReceivingAnObjectFn est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2887-2887	Le nombre 1 argument de ShortageFn est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2232-2232	Le nombre 2 argument de agriculturalProductType est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2242-2242	Le nombre 2 argument de agriculturalProductTypeByRank est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 169-169	Le nombre 2 argument de allRoomsPhysicalAmenity est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1037-1037	Le nombre 2 argument de cargoType est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Dining.kif 120-120	Le nombre 2 argument de corkageFee est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13359-13359	Le nombre 1 argument de defaultMaximumHeight est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13425-13425	Le nombre 1 argument de defaultMaximumLength est une sous-classe de objet
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