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 O argumento numero 1 de property e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 1709-1709 O argumento numero 2 de property e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order. Merge.kif 1707-1707 property e' uma instancia de Predicado Binario

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 e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1719-1719 attribute e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1514-1514 complexity e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1373-1373 designPattern e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 459-459 environmentAttributes e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1470-1470 formOfAdaptation e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1731-1731 manner e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. Merge.kif 17301-17301 modalAttribute e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25575-25575 shape e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 796-796 status e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1553-1553 strictness e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1342-1342 systemBehavior e' uma sub-relacao 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 Entidade e' uma instancia de Regiao Entidade tem um atributo de StandardAmbientTemperaturePressure vale durante Posicao Temporal airTemperature Entidade and 298.15 KelvinDegree(s) barometricPressure Entidade and 29.530 InchMercury(s) vale durante Posicao Temporal
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 emprega Agreement Agente Cognitivo Agente Cognitivo tem um atributo de Employment partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 989-992 ComputerProcess programRunning ComputerProcess and Programa de Computador Programa de Computador tem um atributo de Executable
No TPTP formula. May not be expressible in strict first order. Transportation.kif 411-413 Entidade e' uma instancia de BroadGaugeRailway Entidade tem um atributo de BroadGauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 469-471 Entidade e' uma instancia de DualGaugeRailway Entidade tem um atributo de DualGauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 460-462 Entidade e' uma instancia de NarrowGaugeRailway Entidade tem um atributo de NarrowGauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 443-445 Entidade e' uma instancia de StandardGaugeRailway Entidade tem um atributo de 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 tem um atributo de VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30543-30543 Crocodile tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30584-30584 Ferret tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30602-30602 GuineaPig tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30614-30614 Hamster tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30473-30473 Lemur tem um atributo de CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30374-30374 Lion tem um atributo de VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30503-30503 Octopus tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30490-30490 Panda tem um atributo de VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30456-30456 Parrot tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30525-30525 Reindeer tem um atributo de VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30433-30433 Rhinoceros tem um atributo de EndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30413-30413 Tiger tem um atributo de 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