No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 742-742	Le nombre 2 argument de maximumReplications est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 721-721	Le nombre 2 argument de minimumReplications est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1016-1016	Le nombre 2 argument de numberOfCPUs est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Dining.kif 729-729	Le nombre 1 argument de numberOfCustomers est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5913-5913	Le nombre 2 argument de pathLength est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 72-72	Le nombre 2 argument de personTransportCapability est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 769-769	Le nombre 2 argument de portNumber est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 777-777	Le nombre 2 argument de processID est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21684-21684	Le nombre 2 argument de protonNumber est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1203-1203	Le nombre 2 argument de slidingWindowSize est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 362-362	Le nombre 2 argument de valence est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 25-25	Le nombre 3 argument de weaponCarryingCapability est une instance de nombre entier positif

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