Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - property
property

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1712-1713
No TPTP formula. May not be expressible in strict first order. Merge.kif 1711-1713
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 315-317
No TPTP formula. May not be expressible in strict first order. Merge.kif 1708-1708 特性 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1709-1709 特性 的 2 数量 是 属性instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1707-1707 特性二元谓语instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 177-177
No TPTP formula. May not be expressible in strict first order. english_format.kif 178-178
No TPTP formula. May not be expressible in strict first order. french_format.kif 108-108
No TPTP formula. May not be expressible in strict first order. relations-it.txt 235-235
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1937-1937
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 60-60
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 72-72
No TPTP formula. May not be expressible in strict first order. relations-de.txt 223-223
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 273-273
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 127-127
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 113-113
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 427-427
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1617-1617 抽象层次特性subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1719-1719 属于特性subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1514-1514 复杂特性subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1373-1373 设计模式特性subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 459-459 环境属性特性subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1470-1470 适应形式特性subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1731-1731 形式特性subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17301-17301 语气属性特性subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25575-25575 shape特性subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 796-796 状态特性subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1553-1553 严格特性subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1342-1342 系统行为特性subrelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2680-2690 实体地区instance那个 实体标准状况attribute 时间位置 holdsDuring 若且唯若 298.15 凯文度那个 实体air 温度 和 29.530 英寸汞那个 实体barometric 压力 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 476-484
No TPTP formula. May not be expressible in strict first order. Weather.kif 2056-2060
No TPTP formula. May not be expressible in strict first order. Weather.kif 343-347
No TPTP formula. May not be expressible in strict first order. Media.kif 995-1000
No TPTP formula. May not be expressible in strict first order. Weather.kif 2090-2094
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2754-2766
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2768-2780
No TPTP formula. May not be expressible in strict first order. Weather.kif 2443-2457
No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22248-22252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 241-246
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1165-1169
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1159-1163
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1137-1141
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1131-1135
No TPTP formula. May not be expressible in strict first order. Transportation.kif 403-409
No TPTP formula. May not be expressible in strict first order. Transportation.kif 453-458
No TPTP formula. May not be expressible in strict first order. Transportation.kif 427-433
No TPTP formula. May not be expressible in strict first order. Transportation.kif 435-441
No TPTP formula. May not be expressible in strict first order. Weather.kif 2359-2363
No TPTP formula. May not be expressible in strict first order. Weather.kif 2191-2205
No TPTP formula. May not be expressible in strict first order. Weather.kif 2096-2114
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3260-3266 协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事雇用attribute那个 协议那个 有认知的主事party 协议 和 那个 另外 协议那个 有认知的主事party 协议
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 989-992 有存在 电脑程序 这样 电脑程序那个 电脑程序 的执行 program 若且唯若 那个 电脑程序可执行attribute
No TPTP formula. May not be expressible in strict first order. Transportation.kif 411-413 实体宽轨铁路instance 若且唯若 那个 实体宽规attribute
No TPTP formula. May not be expressible in strict first order. Transportation.kif 469-471 实体DualGaugeRailwayinstance 若且唯若 那个 实体双轨铁路attribute
No TPTP formula. May not be expressible in strict first order. Transportation.kif 460-462 实体窄轨铁路instance 若且唯若 那个 实体窄规attribute
No TPTP formula. May not be expressible in strict first order. Transportation.kif 443-445 实体标准轨距铁路instance 若且唯若 那个 实体标准规attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14055-14058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14016-14021
No TPTP formula. May not be expressible in strict first order. Merge.kif 17332-17345
No TPTP formula. May not be expressible in strict first order. Merge.kif 476-484
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1162-1171
No TPTP formula. May not be expressible in strict first order. Media.kif 995-1000
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1165-1169
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1159-1163
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1137-1141
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1131-1135
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 501-517
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2712-2716
No TPTP formula. May not be expressible in strict first order. Weather.kif 2130-2143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20823-20836
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1214-1218
No TPTP formula. May not be expressible in strict first order. Merge.kif 267-272
No TPTP formula. May not be expressible in strict first order. Merge.kif 260-265
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 326-331
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 63-67

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30567-30567 CheetahVulnerableSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30543-30543 CrocodileLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30584-30584 FerretLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30602-30602 GuineaPigLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30614-30614 HamsterLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30473-30473 LemurCriticallyEndangeredSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30374-30374 LionVulnerableSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30503-30503 OctopusLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30490-30490 PandaVulnerableSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30456-30456 ParrotLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30525-30525 驯鹿VulnerableSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30433-30433 Rhinoceros濒危物种attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30413-30413 Tiger濒危物种attribute


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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