|
| (documentation AreaMeasure ChineseLanguage "这是用来量度二维空间的尺度。") | chinese_format.kif 2409-2409 | |
| (documentation Argument ChineseLanguage "这是任何具有演绎或归纳论证形式的命题，即是一组声称、暗示 一种结论的前提。") | chinese_format.kif 3765-3766 | |
| (documentation ArtWork ChineseLanguage "这是缔造来主要为了让人审美欣赏 Artifact。 注这 Class 个类别并不包括建筑物的例子，建筑物属于 StationaryArtifact。") | chinese_format.kif 3605-3606 | |
| (documentation Arthropod ChineseLanguage "这是包括 Arachnid 和 Insects 的 Invertebrate Class。") | chinese_format.kif 3404-3405 | |
| (documentation Artifact ChineseLanguage "这是由 Making 所产生的 Object。") | chinese_format.kif 3579-3579 | |
| (documentation ArtificialLanguage ChineseLanguage "这是由 Human 所设计的 Language 的 subclass。") | chinese_format.kif 1662-1663 | |
| (documentation AsexualReproduction ChineseLanguage "这是无性的生物繁殖 Process。") | chinese_format.kif 2919-2919 | |
| (documentation Asleep ChineseLanguage "这是指当 Organism 正在睡觉的 Attribute。") | chinese_format.kif 4041-4041 | |
| (documentation AssignmentFn ChineseLanguage "如果F是一个 Function，它所代表物体的值以 N1，...，NK表示， 那么 (AssignmentFn F N1 ... NK) 就是应用F到这些物体以N1,..., NK所代表的值。 在其他情况下，这个值是没有被下定义的。") | chinese_format.kif 1545-1547 | |
| (documentation AssociativeFunction ChineseLanguage "一个 BinaryFunction 属于关联性的如果 使用括号并没有影响 Function 所交出的值，更确切的说，对于所有的?INST1、 ?INST2 和 ?INST3， Function ?FUNCTION 是关联性的，以防(?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3))和 (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3)相同。") | chinese_format.kif 2000-2003 | |
| (documentation AstronomicalBody ChineseLanguage "这是所有有显著大小天文物体的 Class。它包括 SelfConnectedObject 如：星球、星斗和小行星，与 Collection 如：星云、星系和星座。注：地球是一个 AstronomicalBody，但是地球的每一个 Region 都是一处 GeographicArea。") | chinese_format.kif 1432-1434 | |
| (documentation AsymmetricRelation ChineseLanguage "一个 BinaryRelation 属于不对称关系 当且仅当它既是一个 AntisymmetricRelation 又是一个 IrreflexiveRelation。") | chinese_format.kif 1839-1840 | |
| (documentation Atmosphere ChineseLanguage "Atmosphere 是气体的 Mixture，它由任何有足够强大 地深吸力阻止气体溢出的天体物体包围着。") | Weather.kif 17-18 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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