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. Merge.kif 1746-1747
No TPTP formula. May not be expressible in strict first order. Merge.kif 1743-1745
No TPTP formula. May not be expressible in strict first order. Merge.kif 1741-1741 The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1742-1742 The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1740-1740 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 115-115
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. portuguese_format.kif 60-60
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 58-58
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-tg.txt 427-427
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1613-1613 abstraction level is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1752-1752 attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1510-1510 complexity is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1369-1369 design pattern is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 439-439 environment attributes is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1466-1466 form of adaptation is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1763-1763 manner is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 17518-17518 modal attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 134-134 shape is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 786-786 status is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1549-1549 strictness is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1338-1338 system behavior is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1438-1438 task relation is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 17170-17170 truth 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 1086-1096 An object is an instance of region and the object has an attribute standard ambient temperature and pressure holds during an entity if and only if 298.15 kelvin degree(s) is an air temperature of the object and 29.530 inch mercury(s) is a barometric pressure of the object holds during the entity
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. TravelPolicies.kif 285-290
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2674-2686
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2688-2700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19656-19660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 384-389
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1161-1165
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1155-1159
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1133-1137
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1127-1131
No TPTP formula. May not be expressible in strict first order. Transportation.kif 373-378
No TPTP formula. May not be expressible in strict first order. Transportation.kif 420-425
No TPTP formula. May not be expressible in strict first order. Transportation.kif 396-401
No TPTP formula. May not be expressible in strict first order. Transportation.kif 403-408
No TPTP formula. May not be expressible in strict first order. Geography.kif 6569-6575
No TPTP formula. May not be expressible in strict first order. Geography.kif 6594-6600
No TPTP formula. May not be expressible in strict first order. Geography.kif 6534-6540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11506-11520
No TPTP formula. May not be expressible in strict first order. Merge.kif 17153-17159
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 142-147
No TPTP formula. May not be expressible in strict first order. engineering.kif 239-243
No TPTP formula. May not be expressible in strict first order. engineering.kif 220-226
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2708-2720
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2728-2740

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 3151-3157 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent has an attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 979-982 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 has an attribute executable
No TPTP formula. May not be expressible in strict first order. Transportation.kif 380-382 An entity is an instance of broad gauge railway if and only if the entity has an attribute broad gauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 436-438 An entity is an instance of dual gauge railway if and only if the entity has an attribute dual gauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 427-429 An entity is an instance of narrow gauge railway if and only if the entity has an attribute narrow gauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 410-412 An entity is an instance of standard gauge railway if and only if the entity has an attribute standard gauge
No TPTP formula. May not be expressible in strict first order. Merge.kif 1834-1839 An entity is an instance of the attr of a set or class and an attribute if and only if the entity is an instance of the set or class and the entity has an attribute the attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11398-11401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11359-11364
No TPTP formula. May not be expressible in strict first order. Merge.kif 17558-17571
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1107-1116
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 1161-1165
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1155-1159
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1133-1137
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1127-1131
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 628-644
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 214-219
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2633-2637
No TPTP formula. May not be expressible in strict first order. Merge.kif 1824-1832
No TPTP formula. May not be expressible in strict first order. Merge.kif 732-739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18056-18069
No TPTP formula. May not be expressible in strict first order. Merge.kif 526-536
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1210-1214
No TPTP formula. May not be expressible in strict first order. Merge.kif 298-303

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 28262-28262 Cheetah has an attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28238-28238 Crocodile has an attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28279-28279 Ferret has an attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28297-28297 Guinea pig has an attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28309-28309 Hamster has an attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28168-28168 Lemur has an attribute CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28069-28069 Lion has an attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28198-28198 Octopus has an attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28185-28185 Panda has an attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28151-28151 Parrot has an attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28220-28220 Reindeer has an attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28128-28128 Rhinoceros has an attribute endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28108-28108 Tiger has an 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners