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 Le nombre 1 argument de property est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 1709-1709 Le nombre 2 argument de property est une instance de attribut
No TPTP formula. May not be expressible in strict first order. Merge.kif 1707-1707 property est une instance de pr�dicat binaire

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 abstractionLevel est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1719-1719 attribute est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1514-1514 complexity est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1373-1373 designPattern est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 459-459 environmentAttributes est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1470-1470 formOfAdaptation est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1731-1731 manner est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. Merge.kif 17301-17301 modalAttribute est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25575-25575 shape est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 796-796 status est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1553-1553 strictness est une sous-relation de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1342-1342 systemBehavior est une sous-relation de 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 Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
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 Agreement emploie Agreement agent cognitif agent cognitif a un attribute Employment partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 989-992 ComputerProcess programRunning ComputerProcess and programme d'ordinateur programme d'ordinateur a un attribute Executable
No TPTP formula. May not be expressible in strict first order. Transportation.kif 411-413 Entit� est une instance de BroadGaugeRailway entit� a un attribute BroadGauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 469-471 Entit� est une instance de DualGaugeRailway entit� a un attribute DualGauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 460-462 Entit� est une instance de NarrowGaugeRailway entit� a un attribute NarrowGauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 443-445 Entit� est une instance de StandardGaugeRailway entit� a un attribute StandardGauge
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 a un attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30543-30543 Crocodile a un attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30584-30584 Ferret a un attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30602-30602 GuineaPig a un attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30614-30614 Hamster a un attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30473-30473 Lemur a un attribute CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30374-30374 Lion a un attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30503-30503 Octopus a un attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30490-30490 Panda a un attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30456-30456 Parrot a un attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30525-30525 Reindeer a un attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30433-30433 Rhinoceros a un attribute EndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30413-30413 Tiger a un attribute EndangeredSpecies


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