| appearance as argument number 1 |
|
| (documentation property ChineseLanguage "这个 Predicate 在 Entity 的实例和 Attribute 的 实例成立。(property ?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的 Attribute。") | chinese_format.kif 1712-1713 | |
| (documentation property EnglishLanguage "This Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR.") | Merge.kif 1706-1708 | |
| (documentation property JapaneseLanguage "この Predicate は、E と A のインスタンスの間に 保持される。(property ?ENTITY ?ATTR) とは、?ENTITY が Attribute ?ATTR を有する、という 意味である。") | japanese_format.kif 315-317 | |
| (domain property 1 Entity) | Merge.kif 1703-1703 | |
| (domain property 2 Attribute) | Merge.kif 1704-1704 | |
| (instance property BinaryPredicate) | Merge.kif 1702-1702 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage property "%1 %n 有 %2 的 attribute") | chinese_format.kif 177-177 | |
| (format EnglishLanguage property "%1 %n{does not have} the attribute %2") | english_format.kif 178-178 | |
| (format FrenchLanguage property "%1 a %n un attribute %2") | french_format.kif 108-108 | |
| (format ItalianLanguage property "%1 ha %n un attributo %2") | relations-it.txt 235-235 | |
| (format JapaneseLanguage property "%1 には attribute %2 %n{ない}") | japanese_format.kif 1937-1937 | |
| (format PortugueseLanguage property "%1 tem %n um atributo de %2") | portuguese_format.kif 60-60 | |
| (format cz property "%1 %n{ne}m� atribut %2") | relations-cz.txt 72-72 | |
| (format de property "%1 hat ein attribut %2 %n{nicht}") | relations-de.txt 223-223 | |
| (format hi property "%2 %1 kii eka visheshhataa %n hai") | relations-hindi.txt 273-273 | |
| (format ro property "%1 %n{nu} are attribute%t{atributul} %2") | relations-ro.kif 127-127 | |
| (format sv property "%1 har %n{inte} egenskapen %2") | relations-sv.txt 113-113 | |
| (format tg property "%1 %n mayroon ay ang katangian ng %2") | relations-tg.txt 427-427 | |
| (subrelation abstractionLevel property) | QoSontology.kif 1743-1743 | |
| (subrelation attribute property) | Merge.kif 1714-1714 | |
| (subrelation complexity property) | QoSontology.kif 1632-1632 | |
| (subrelation designPattern property) | QoSontology.kif 1482-1482 | |
| (subrelation environmentAttributes property) | QoSontology.kif 460-460 | |
| (subrelation formOfAdaptation property) | QoSontology.kif 1584-1584 | |
| (subrelation manner property) | Merge.kif 1726-1726 | |
| (subrelation modalAttribute property) | Merge.kif 17461-17461 | |
| (subrelation shape property) | Merge.kif 7655-7655 | |
| (subrelation status property) | QoSontology.kif 905-905 | |
| (subrelation strictness property) | QoSontology.kif 1673-1673 | |
| (subrelation systemBehavior property) | QoSontology.kif 1451-1451 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury))))) |
Weather.kif 2662-2672 | |
| (=> (and (contraryAttribute @ROW) (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1)) (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2)) (not (equal ?NUMBER1 ?NUMBER2)) (property ?OBJ ?ATTR1)) (not (property ?OBJ ?ATTR2))) |
Merge.kif 469-477 | |
| (=> (and (instance ?ATTR SpeedScaleAttribute) (property ?X ?ATTR)) (instance ?X Motion)) |
Weather.kif 2038-2042 | |
| (=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind)) |
Weather.kif 331-335 | |
| (=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law)) |
Media.kif 995-1000 | |
| (=> (and (instance ?EF EFScaleAttribute) (property ?T ?EF)) (instance ?T Tornado)) |
Weather.kif 2072-2076 | |
| (=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option CallOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2771-2783 | |
| (=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option PutOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2785-2797 | |
| (=> (and (instance ?H Hurricane) (instance ?SS SSHWS5) (eventLocated ?H ?AREA) (believes ?A (property ?H ?SS))) (exists (?WIND) (and (greaterThan ?WIND 157.0) (believes ?A (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?AREA (WhenFn ?H))))))) |
Weather.kif 2425-2439 | |
| (=> (and (instance ?H Hurricane) (instance ?SS SSHWSAttribute) (eventLocated ?H ?AREA) (believes ?A (property ?H ?SS)) (speedScaleAttributeMinMax ?SS (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?WIND) (and (greaterThanOrEqualTo ?WIND ?MIN) (lessThanOrEqualTo ?WIND ?MAX) (believes ?A (equal (MeasureFn ?WIND ?U) (Mean1MinuteWindSpeedFn ?AREA (WhenFn ?H))))))) |
Weather.kif 2347-2366 | |
| (=> (and (instance ?O OccupationalRole) (property ?X ?O)) (instance ?X CognitiveAgent)) |
Mid-level-ontology.kif 23908-23912 | |
| (=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR))) |
Mid-level-ontology.kif 234-239 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1274-1278 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath))) |
QoSontology.kif 1268-1272 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream))) |
QoSontology.kif 1246-1250 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream))) |
QoSontology.kif 1240-1244 | |
| (=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThan ?WIDTH 1.44)) |
Transportation.kif 403-409 | |
| (=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.435)) |
Transportation.kif 453-458 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThanOrEqualTo ?WIDTH 1.435)) |
Transportation.kif 427-433 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.44)) |
Transportation.kif 435-441 | |
| (=> (and (instance ?SS SSHWSAttribute) (property ?H ?SS)) (instance ?H Hurricane)) |
Weather.kif 2341-2345 | |
| (=> (and (instance ?T Tornado) (instance ?EF EF5) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF))) (exists (?GUST) (and (greaterThan ?GUST 200.0) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T))))))) |
Weather.kif 2173-2187 | |
| (=> (and (instance ?T Tornado) (instance ?EF EFScaleAttribute) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF)) (speedScaleAttributeMinMax ?EF (MeasureFn ?MIN MilesPerHour) (MeasureFn ?MAX MilesPerHour))) (exists (?GUST) (and (greaterThanOrEqualTo ?GUST ?MIN) (lessThanOrEqualTo ?GUST ?MAX) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T))))))) |
Weather.kif 2078-2096 | |
| (=> (and (instance ?W Wind) (instance ?BN BeaufortNumber12) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN))) (exists (?SPEED) (and (greaterThan ?SPEED 73.0) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED MilesPerHour)))))) |
Weather.kif 472-484 | |
| (=> (and (instance ?W Wind) (instance ?BN BeaufortNumberAttribute) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN)) (speedScaleAttributeMinMax ?BN (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?SPEED) (and (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED ?U)))))) |
Weather.kif 337-354 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (<=> (employs ?Org ?Agent) (exists (?Employment) (and (property ?Employment Employment) (partyToAgreement ?Employment ?Org) (partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3277-3283 | |
| (<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable)) |
QoSontology.kif 1098-1101 | |
| (<=> (instance ?RR BroadGaugeRailway) (property ?RR BroadGauge)) |
Transportation.kif 411-413 | |
| (<=> (instance ?RR DualGaugeRailway) (property ?RR DualGauge)) |
Transportation.kif 469-471 | |
| (<=> (instance ?RR NarrowGaugeRailway) (property ?RR NarrowGauge)) |
Transportation.kif 460-462 | |
| (<=> (instance ?RR StandardGaugeRailway) (property ?RR StandardGauge)) |
Transportation.kif 443-445 | |
| (=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 15444-15447 | |
| (=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement))) |
Mid-level-ontology.kif 15405-15410 | |
| (=> (and (attribute ?OBJ ?ATR) (instance ?ATR SubjectiveAssessmentAttribute)) (exists (?TIME ?JUDGE ?AGENT) (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ) (result ?JUDGE (attribute ?OBJ ?ATR)) (holdsDuring ?TIME (believes ?AGENT (property ?OBJ ?ATR)))))) |
Merge.kif 17492-17505 | |
| (=> (and (contraryAttribute @ROW) (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1)) (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2)) (not (equal ?NUMBER1 ?NUMBER2)) (property ?OBJ ?ATTR1)) (not (property ?OBJ ?ATTR2))) |
Merge.kif 469-477 | |
| (=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1178-1187 | |
| (=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law)) |
Media.kif 995-1000 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1274-1278 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath))) |
QoSontology.kif 1268-1272 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream))) |
QoSontology.kif 1246-1250 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream))) |
QoSontology.kif 1240-1244 | |
| (=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (instance ?AGENT CognitiveAgent) (agent ?EXPERIMENT ?AGENT) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (forall (?ATTRIBUTE) (=> (and (instance ?ATTRIBUTE Attribute) (property ?SAMPLE_COLL ?ATTRIBUTE) (inScopeOfInterest ?AGENT ?ATTRIBUTE) (not (equal ?ATTRIBUTE RepresentativeSample))) (property ?POP_COLL ?ATTRIBUTE)))) |
UXExperimentalTerms.kif 501-517 | |
| (=> (and (property ?Option StockOption) (underlier ?Option ?Stock)) (property ?Stock CommonStock)) |
FinancialOntology.kif 2729-2733 | |
| (=> (and (speedScaleAttributeMinMax ?ATTR (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?X ?SPEED) (and (instance ?X Motion) (property ?X ?ATTR) (measure ?X (MeasureFn ?SPEED ?U)) (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX)))) |
Weather.kif 2112-2125 | |
| (=> (contractor ?BUILDING ?CONTRACTOR) (exists (?CONTRACT ?AGENT) (and (property ?CONTRACT Contract) (partyToAgreement ?AGENT ?CONTRACT) (partyToAgreement ?CONTRACTOR ?CONTRACT) (confersObligation (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR)))) |
Mid-level-ontology.kif 22457-22470 | |
| (=> (dataStreamSlack ?Path ?Number) (or (property ?Path ContinuousPath) (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1323-1327 | |
| (=> (equal ?ATTR1 ?ATTR2) (forall (?THING) (<=> (property ?THING ?ATTR1) (property ?THING ?ATTR2)))) |
Merge.kif 261-266 | |
| (=> (equal ?THING1 ?THING2) (forall (?ATTR) (<=> (property ?THING1 ?ATTR) (property ?THING2 ?ATTR)))) |
Merge.kif 254-259 | |
| (=> (instance ?A Aqiqah) (exists (?AGENT) (and (agent ?A ?AGENT) (property ?A Muslim)))) |
ArabicCulture.kif 326-331 | |
| (=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
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 |
|
|
| (property Cheetah VulnerableSpecies) | Mid-level-ontology.kif 32260-32260 | |
| (property Crocodile LeastConcernSpecies) | Mid-level-ontology.kif 32236-32236 | |
| (property Ferret LeastConcernSpecies) | Mid-level-ontology.kif 32277-32277 | |
| (property GuineaPig LeastConcernSpecies) | Mid-level-ontology.kif 32295-32295 | |
| (property Hamster LeastConcernSpecies) | Mid-level-ontology.kif 32307-32307 | |
| (property Lemur CriticallyEndangeredSpecies) | Mid-level-ontology.kif 32166-32166 | |
| (property Lion VulnerableSpecies) | Mid-level-ontology.kif 32051-32051 | |
| (property Octopus LeastConcernSpecies) | Mid-level-ontology.kif 32196-32196 | |
| (property Panda VulnerableSpecies) | Mid-level-ontology.kif 32183-32183 | |
| (property Parrot LeastConcernSpecies) | Mid-level-ontology.kif 32149-32149 | |
| (property Reindeer VulnerableSpecies) | Mid-level-ontology.kif 32218-32218 | |
| (property Rhinoceros EndangeredSpecies) | Mid-level-ontology.kif 32126-32126 | |
| (property Tiger EndangeredSpecies) | Mid-level-ontology.kif 32106-32106 |
|
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