No TPTP formula. May not be expressible in strict first order.	Merge.kif 558-562	If @ROW is covered by @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class
No TPTP formula. May not be expressible in strict first order.	Media.kif 2198-2207	If there can be at most an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2161-2170	If there are at least an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is greater than or equal to the 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