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 The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1709-1709 The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1707-1707 property is an instance of binary predicate

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 abstraction level is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1719-1719 attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1514-1514 complexity is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1373-1373 design pattern is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 459-459 environment attributes is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1470-1470 form of adaptation is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1731-1731 manner is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 17301-17301 modal attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25575-25575 shape is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 796-796 status is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1553-1553 strictness is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1342-1342 system behavior is a subrelation of property

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 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
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 An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 989-992 There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable
No TPTP formula. May not be expressible in strict first order. Transportation.kif 411-413 An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 469-471 An entity is an instance of dual gauge railway if and only if the entity the attribute dual gauge railway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 460-462 An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 443-445 An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge
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 the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30543-30543 Crocodile the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30584-30584 Ferret the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30602-30602 Guinea pig the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30614-30614 Hamster the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30473-30473 Lemur the attribute critically endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30374-30374 Lion the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30503-30503 Octopus the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30490-30490 Panda the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30456-30456 Parrot the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30525-30525 Reindeer the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30433-30433 Rhinoceros the attribute endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30413-30413 Tiger the attribute endangered species


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