以前拜老师所误，一直以为is是“是”、“等于”的意思。比如：
-
我是皮特。I’m Peter.
-
我的名字是皮特。My name is Peter.
但严格的讲：是我存在信息Peter，而省略了类目[名字]，可以根据值猜其数据类型：自动推导。比如 I’m 18. 18自动推导的类型就是年龄。所以不是我是皮特我是18岁。而是我具有皮特。我具有18这个信息。指什么?惯用约定来确定其类型，补全的过程就是信息省略的逆过程。
其实句[2]比句[1]更精确了，但依然不是等于，而是不同程度的具有，由模糊到更精确。因为还可以
- My name is Peter G. Smith.
所有回到 I’m Peter. 其实是更模糊的信息存在性描述。相比更精确的是省略了，但相比光秃秃的一个 I. 或 I am. 更精确了。
一般I’m Peter. 就够用了，而还可以根据句[3]加什么吗
- In my childhood, my name was Peter. (时间信息）
- My Chinese name is 小福. （地域信息）
- … 起名者，网名，正式勋爵名，特点，联系之类等。。。
类似的还有 I’m a student. I’m a boy. I’m tall. 那真正的“具有” I have a black hair. 的 have 呢?得是考虑到两个部分、两个概念，即A be B是主要继承、各自可多对多作为集合可互相包含的，而A have B是严格包含A大于B的。
