property |
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 1651-1653 | |
(domain property 1 Entity) | Merge.kif 1648-1648 | 特性 的 1 数量 是 实体 的 instance |
(domain property 2 Attribute) | Merge.kif 1649-1649 | 特性 的 2 数量 是 属性 的 instance |
(instance property BinaryPredicate) | Merge.kif 1647-1647 | 特性 是 二元谓语 的 instance |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
(<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable)) |
QoSontology.kif 987-990 | 有存在 电脑程序 这样 电脑程序 是 那个 电脑程序 的执行 program 若且唯若 那个 电脑程序 有 可执行 的 attribute |
(<=> (instance ?RR BroadGaugeRailway) (property ?RR BroadGauge)) |
Transportation.kif 411-413 | 实体 是 宽轨铁路 的 instance 若且唯若 那个 实体 有 宽规 的 attribute |
(<=> (instance ?RR DualGaugeRailway) (property ?RR DualGauge)) |
Transportation.kif 469-471 | 实体 是 DualGaugeRailway 的 instance 若且唯若 那个 实体 有 双轨铁路 的 attribute |
(<=> (instance ?RR NarrowGaugeRailway) (property ?RR NarrowGauge)) |
Transportation.kif 460-462 | 实体 是 窄轨铁路 的 instance 若且唯若 那个 实体 有 窄规 的 attribute |
(<=> (instance ?RR StandardGaugeRailway) (property ?RR StandardGauge)) |
Transportation.kif 443-445 | 实体 是 标准轨距铁路 的 instance 若且唯若 那个 实体 有 标准规 的 attribute |
(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 13521-13524 |
|
(=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement))) |
Mid-level-ontology.kif 13482-13487 | |
(=> (and (attribute ?OBJ ?ATR) (instance ?ATR SubjectiveAssessmentAttribute)) (exists (?TIME ?JUDGE ?AGENT) (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ) (patient ?JUDGE (attribute ?OBJ ?ATR)) (holdsDuring ?TIME (believes ?AGENT (property ?OBJ ?ATR)))))) |
Merge.kif 17072-17085 | |
(=> (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 1170-1174 | |
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath))) |
QoSontology.kif 1164-1168 | |
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream))) |
QoSontology.kif 1142-1146 | |
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream))) |
QoSontology.kif 1136-1140 | |
(=> (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 629-645 | |
(=> (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 2129-2142 | |
(=> (and (successorAttribute ?ATTR1 ?ATTR2) (holdsDuring ?TIME1 (property ?ENTITY ?ATTR2))) (exists (?TIME2) (and (temporalPart ?TIME2 (PastFn ?TIME1)) (holdsDuring ?TIME2 (property ?ENTITY ?ATTR1))))) |
Merge.kif 700-707 |
|
(=> (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 20140-20153 |
|
(=> (contraryAttribute @ROW) (forall (?ATTR1 ?ATTR2) (=> (and (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 474-484 | |
(=> (dataStreamSlack ?Path ?Number) (or (property ?Path ContinuousPath) (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1219-1223 | |
(=> (equal ?ATTR1 ?ATTR2) (forall (?THING) (<=> (property ?THING ?ATTR1) (property ?THING ?ATTR2)))) |
Merge.kif 265-270 | |
(=> (equal ?THING1 ?THING2) (forall (?ATTR) (<=> (property ?THING1 ?ATTR) (property ?THING2 ?ATTR)))) |
Merge.kif 258-263 | |
(=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 63-67 | |
(=> (instance ?Attribute ComputerPathAttribute) (exists (?Path) (and (instance ?Path ComputerPath) (property ?Path ?Attribute)))) |
QoSontology.kif 1102-1107 | |
(=> (instance ?DOC ContractDocument) (exists (?PROP) (and (containsInformation ?DOC ?PROP) (property ?PROP Contract)))) |
Media.kif 979-984 | |
(=> (insured ?PROP ?ORG) (property ?PROP Contract)) |
Mid-level-ontology.kif 6802-6804 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
![]() |
![]() |
![]() |