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 1721-1723
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 1718-1718 The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1719-1719 The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1717-1717 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 1729-1729 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 1741-1741 manner is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 17476-17476 modal attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 7670-7670 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 3404-3414 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 2780-2784
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 2814-2818
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 3167-3181
No TPTP formula. May not be expressible in strict first order. Weather.kif 3089-3108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23889-23893
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 3083-3087
No TPTP formula. May not be expressible in strict first order. Weather.kif 2915-2929
No TPTP formula. May not be expressible in strict first order. Weather.kif 2820-2838
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 17507-17520
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 2854-2867
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 32501-32501 Cheetah the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32477-32477 Crocodile the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32518-32518 Ferret the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32536-32536 Guinea pig the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32548-32548 Hamster the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32407-32407 Lemur the attribute critically endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32292-32292 Lion the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32437-32437 Octopus the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32424-32424 Panda the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32390-32390 Parrot the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32459-32459 Reindeer the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32367-32367 Rhinoceros the attribute endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32347-32347 Tiger the attribute endangered species


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