distance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9782-9788
La
largeur
de
objet en une partie
est
mesure de longueur
objet en une partie
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
objet en une partie
est
mesure de longueur
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