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

Formal Language: 



KB Term:  Term intersection
English Word: 

  property

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 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1709-1709 屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1707-1707 屬性 and BinaryPredicate

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 子關係 抽象層次 and 屬性
No TPTP formula. May not be expressible in strict first order. Merge.kif 1719-1719 子關係 attribute and 屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1514-1514 子關係 複雜 and 屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1373-1373 子關係 設計模式 and 屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 459-459 子關係 環境屬性 and 屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1470-1470 子關係 適應形式 and 屬性
No TPTP formula. May not be expressible in strict first order. Merge.kif 1731-1731 子關係 方式 and 屬性
No TPTP formula. May not be expressible in strict first order. Merge.kif 17301-17301 子關係 模態屬性 and 屬性
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25575-25575 子關係 shape and 屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 796-796 子關係 狀態 and 屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1553-1553 子關係 嚴格 and 屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1342-1342 子關係 系統行為 and 屬性

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 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 Entityair 溫度 測量 29.530 and 英寸汞 Entitybarometric 壓力
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 採用 協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用 協議 CognitiveAgentparty 協議 協議 CognitiveAgentparty 協議
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 989-992 電腦程序 ComputerProgram 電腦程序 的執行 program 屬性 ComputerProgram and 可執行
No TPTP formula. May not be expressible in strict first order. Transportation.kif 411-413 Entity and 寬軌鐵路 屬性 Entity and 寬規
No TPTP formula. May not be expressible in strict first order. Transportation.kif 469-471 Entity and DualGaugeRailway 屬性 Entity and 雙軌鐵路
No TPTP formula. May not be expressible in strict first order. Transportation.kif 460-462 Entity and 窄軌鐵路 屬性 Entity and 窄規
No TPTP formula. May not be expressible in strict first order. Transportation.kif 443-445 Entity and 標準軌距鐵路 屬性 Entity and 標準規
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 屬性 Cheetah and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30543-30543 屬性 Crocodile and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30584-30584 屬性 Ferret and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30602-30602 屬性 GuineaPig and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30614-30614 屬性 Hamster and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30473-30473 屬性 Lemur and CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30374-30374 屬性 Lion and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30503-30503 屬性 Octopus and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30490-30490 屬性 Panda and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30456-30456 屬性 Parrot and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30525-30525 屬性 馴鹿 and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30433-30433 屬性 Rhinoceros and 瀕危物種
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30413-30413 屬性 Tiger and 瀕危物種


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

Show without tree


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