No TPTP formula. May not be expressible in strict first order.	Merge.kif 4153-4153	Le nombre 2 argument de between est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4154-4154	Le nombre 3 argument de between est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4173-4173	Le nombre 1 argument de betweenOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4174-4174	Le nombre 2 argument de betweenOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4175-4175	Le nombre 3 argument de betweenOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4176-4176	Le nombre 4 argument de betweenOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1906-1906	Le nombre 1 argument de bidPrice est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24254-24254	Le nombre 2 argument de birthplace est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Biography.kif 205-205	Le nombre 2 argument de burialplace est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3904-3904	Le nombre 3 argument de capability est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Dining.kif 919-919	Le nombre 3 argument de capabilityDuring est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2689-2689	Le nombre 3 argument de capableAtLocation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22870-22870	Le nombre 2 argument de cargo est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4369-4369	Le nombre 2 argument de carries est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10993-10993	Le nombre 2 argument de changesLocation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19359-19359	Le nombre 1 argument de color est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26929-26929	Le nombre 1 argument de conforms est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9503-9503	Le nombre 1 argument de connected est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9504-9504	Le nombre 2 argument de connected est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5463-5463	Le nombre 1 argument de connectedDownstream est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5464-5464	Le nombre 2 argument de connectedDownstream est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9529-9529	Le nombre 1 argument de connects est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9530-9530	Le nombre 2 argument de connects est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9531-9531	Le nombre 3 argument de connects est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1020-1020	Le nombre 2 argument de contains est une instance 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