No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 742-742	The number 2 argument of maximum replications is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 721-721	The number 2 argument of minimum replications is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1016-1016	The number 2 argument of number of CPUs is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Dining.kif 729-729	The number 1 argument of number of customers is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5913-5913	The number 2 argument of path length is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 72-72	The number 2 argument of person transport capability is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 769-769	The number 2 argument of port number is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 777-777	The number 2 argument of processID is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21684-21684	The number 2 argument of proton number is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1203-1203	The number 2 argument of sliding window size is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 362-362	The number 2 argument of valence is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 25-25	The number 3 argument of weapon carrying capability is an instance of positive integer

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