📄 cac40.ont
字号:
BEGIN_ONTOLOGY BEGIN_PREAMBLE :system ZEUS-Ontology-Editor :version "1.1" END_PREAMBLE BEGIN_FACTS BEGIN_FACT_ITEM :name obstacle :parent ZeusFact BEGIN_ATTRIBUTE_LIST BEGIN_ATTRIBUTE_ITEM :name north :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name south :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name east :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name west :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name id :type String :restriction "" :default "" END_ATTRIBUTE_ITEM END_ATTRIBUTE_LIST END_FACT_ITEM BEGIN_FACT_ITEM :name mazeExited :parent ZeusFact BEGIN_ATTRIBUTE_LIST BEGIN_ATTRIBUTE_ITEM :name id :type String :restriction "" :default "" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name sq :type String :restriction "" :default "" END_ATTRIBUTE_ITEM END_ATTRIBUTE_LIST END_FACT_ITEM BEGIN_FACT_ITEM :name thisMove :parent ZeusFact BEGIN_ATTRIBUTE_LIST BEGIN_ATTRIBUTE_ITEM :name south :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name north :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name west :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name east :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name id :type String :restriction "" :default "" END_ATTRIBUTE_ITEM END_ATTRIBUTE_LIST END_FACT_ITEM BEGIN_FACT_ITEM :name moveMade :parent ZeusFact BEGIN_ATTRIBUTE_LIST BEGIN_ATTRIBUTE_ITEM :name moved :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name id :type String :restriction "" :default "" END_ATTRIBUTE_ITEM END_ATTRIBUTE_LIST END_FACT_ITEM BEGIN_FACT_ITEM :name agentsName :parent ZeusFact BEGIN_ATTRIBUTE_LIST BEGIN_ATTRIBUTE_ITEM :name name :type String :restriction "" :default "" END_ATTRIBUTE_ITEM END_ATTRIBUTE_LIST END_FACT_ITEM BEGIN_FACT_ITEM :name agentRegistered :parent ZeusFact BEGIN_ATTRIBUTE_LIST BEGIN_ATTRIBUTE_ITEM :name name :type String :restriction "" :default "" END_ATTRIBUTE_ITEM END_ATTRIBUTE_LIST END_FACT_ITEM BEGIN_FACT_ITEM :name inMaze :parent ZeusFact BEGIN_ATTRIBUTE_LIST BEGIN_ATTRIBUTE_ITEM :name isInMaze :type Boolean :restriction "" :default "false" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name name :type String :restriction "" :default "" END_ATTRIBUTE_ITEM END_ATTRIBUTE_LIST END_FACT_ITEM BEGIN_FACT_ITEM :name portfolio :parent ZeusFact BEGIN_ATTRIBUTE_LIST BEGIN_ATTRIBUTE_ITEM :name qty :type Integer :restriction "" :default "" END_ATTRIBUTE_ITEM BEGIN_ATTRIBUTE_ITEM :name price :type Real :restriction "" :default "" END_ATTRIBUTE_ITEM END_ATTRIBUTE_LIST END_FACT_ITEM BEGIN_FACT_ITEM :name Aventis :parent portfolio END_FACT_ITEM BEGIN_FACT_ITEM :name Axa :parent portfolio END_FACT_ITEM BEGIN_FACT_ITEM :name Accenture :parent portfolio END_FACT_ITEM BEGIN_FACT_ITEM :name Bouygues :parent portfolio END_FACT_ITEM BEGIN_FACT_ITEM :name Dassault :parent portfolio END_FACT_ITEM BEGIN_FACT_ITEM :name Orange :parent portfolio END_FACT_ITEM END_FACTSEND_ONTOLOGY
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -