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 1706-1708
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 1703-1703 The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1704-1704 The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1702-1702 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 1743-1743 abstraction level is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1714-1714 attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1632-1632 complexity is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1482-1482 design pattern is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 460-460 environment attributes is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1584-1584 form of adaptation is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1726-1726 manner is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 17461-17461 modal attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 7655-7655 shape is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 905-905 status is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1673-1673 strictness is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1451-1451 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 3196-3206 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 469-477
No TPTP formula. May not be expressible in strict first order. Weather.kif 2572-2576
No TPTP formula. May not be expressible in strict first order. Weather.kif 331-335
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 2606-2610
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2771-2783
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2785-2797
No TPTP formula. May not be expressible in strict first order. Weather.kif 2959-2973
No TPTP formula. May not be expressible in strict first order. Weather.kif 2881-2900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23891-23895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 234-239
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1274-1278
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1268-1272
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1246-1250
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1240-1244
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 2875-2879
No TPTP formula. May not be expressible in strict first order. Weather.kif 2707-2721
No TPTP formula. May not be expressible in strict first order. Weather.kif 2612-2630
No TPTP formula. May not be expressible in strict first order. Weather.kif 472-484
No TPTP formula. May not be expressible in strict first order. Weather.kif 337-354

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 3277-3283 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 1098-1101 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 15426-15429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15387-15392
No TPTP formula. May not be expressible in strict first order. Merge.kif 17492-17505
No TPTP formula. May not be expressible in strict first order. Merge.kif 469-477
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1178-1187
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 1274-1278
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1268-1272
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1246-1250
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1240-1244
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 2729-2733
No TPTP formula. May not be expressible in strict first order. Weather.kif 2646-2659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22440-22453
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1323-1327
No TPTP formula. May not be expressible in strict first order. Merge.kif 261-266
No TPTP formula. May not be expressible in strict first order. Merge.kif 254-259
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 65-69

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 32503-32503 Cheetah the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32479-32479 Crocodile the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32520-32520 Ferret the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32538-32538 Guinea pig the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32550-32550 Hamster the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32409-32409 Lemur the attribute critically endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32294-32294 Lion the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32439-32439 Octopus the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32426-32426 Panda the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32392-32392 Parrot the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32461-32461 Reindeer the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32369-32369 Rhinoceros the attribute endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32349-32349 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