| appearance as argument number 1 |
|
|
| s__documentation(s__ContentBearingObject,s__ChineseLanguage,'任何能表达内容的 SelfConnectedObject 内容可以是一篇 Proposition ， 举例说当 ContentBearingObject 是一个 Sentence 或 Text ， 又或者是抽象或有形物体像一个 Icon 、一个 Word 或一个 Phrase 。')
|
Merge.kif 1361-1363 | |
| s__documentation(s__ContentBearingObject,s__EnglishLanguage,'Any SelfConnectedObject that expresses content. This content may be a Proposition, e.g. when the ContentBearingObject is a Sentence or Text, or it may be a representation of an abstract or physical object, as with an Icon, a Word or a Phrase.') | Merge.kif 1357-1360 | |
| s__relatedInternalConcept(s__ContentBearingObject,s__containsInformation__m)
|
Merge.kif 1356-1356 | |
| s__subclass(s__ContentBearingObject,s__ContentBearingPhysical)
|
Merge.kif 1355-1355 | |
| s__subclass(s__ContentBearingObject,s__CorpuscularObject)
|
Merge.kif 1354-1354 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__cardCode__m,1,s__ContentBearingObject)
|
FinancialOntology.kif 3390-3390 | |
| s__domain(s__coding__m,1,s__ContentBearingObject)
|
QoSontology.kif 2163-2163 | |
| s__domain(s__deceptiveIdentifier__m,1,s__ContentBearingObject)
|
Mid-level-ontology.kif 21199-21199 | |
| s__domain(s__inventory__m,1,s__ContentBearingObject)
|
Mid-level-ontology.kif 20560-20560 | |
| s__domain(s__record__m,1,s__ContentBearingObject)
|
Mid-level-ontology.kif 11950-11950 | |
| s__domain(s__stored__m,1,s__ContentBearingObject)
|
Mid-level-ontology.kif 11976-11976 | |
| s__domainSubclass(s__EditionFn__m,1,s__ContentBearingObject)
|
Merge.kif 15565-15565 | |
| s__domainSubclass(s__authors__m,2,s__ContentBearingObject)
|
Merge.kif 15508-15508 |
| antecedent |
|
|
| ( ! [V__EVENT,V__CBO,V__INFO] : ((s__instance(V__EVENT,s__OperationPlanning) & s__result(V__EVENT,V__CBO) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__INFO)) => s__instance(V__INFO,s__OperationPlan)) )
|
MilitaryProcesses.kif 1495-1501 | |
| ( ! [V__EVENT,V__CBO] : ((s__instance(V__EVENT,s__Planning) & s__result(V__EVENT,V__CBO) & s__instance(V__CBO,s__ContentBearingObject)) => (? [V__PLAN] : (s__instance(V__PLAN,s__Plan) & s__containsInformation(V__CBO,V__PLAN)))) )
|
Merge.kif 10749-10757 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10775-10782 | |
| ( ! [V__PLAN,V__CBO,V__EVENT] : ((s__instance(V__PLAN,s__OperationPlan) & s__containsInformation(V__CBO,V__PLAN) & s__instance(V__CBO,s__ContentBearingObject) & s__result(V__EVENT,V__CBO)) => s__instance(V__EVENT,s__OperationPlanning)) )
|
MilitaryProcesses.kif 1503-1509 | |
| ( ! [V__PLAN,V__CBO,V__OP] : ((s__instance(V__PLAN,s__OperationPlan) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PLAN) & s__instance(V__OP,s__MilitaryOperation) & s__result(V__OP,V__CBO)) => s__represents(V__PLAN,V__OP)) )
|
MilitaryProcesses.kif 1541-1548 | |
| ( ! [V__PLAN,V__OBJ] : ((s__instance(V__PLAN,s__Plan) & s__instance(V__OBJ,s__ContentBearingObject) & s__containsInformation(V__OBJ,V__PLAN)) => (? [V__PLANNING] : (s__instance(V__PLANNING,s__Planning) & s__result(V__PLANNING,V__OBJ)))) )
|
Merge.kif 17042-17050 | |
| ( ! [V__PLANNING,V__CBO,V__INFO] : ((s__instance(V__PLANNING,s__JointOperationPlanning) & s__result(V__PLANNING,V__CBO) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__INFO)) => s__instance(V__INFO,s__OPLAN)) )
|
MilitaryProcesses.kif 1780-1786 | |
| ( ! [V__PROP,V__CBO,V__COMM] : ((s__instance(V__PROP,s__Proposition) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PROP) & s__instance(V__COMM,s__Communication) & s__patient(V__COMM,V__CBO)) => s__represents(V__COMM,V__PROP)) )
|
Geography.kif 2871-2878 | |
| ( ! [V__PROP,V__CBO,V__ER] : ((s__instance(V__PROP,s__Proposition) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PROP) & s__instance(V__ER,s__ExpenseReport) & s__patient(V__ER,V__CBO)) => s__represents(V__ER,V__PROP)) )
|
TravelPolicies.kif 617-624 | |
| ( ! [V__X] : ((s__instance(V__X,s__ContentBearingObject) & s__attribute(V__X,s__Braille)) => (? [V__H] : (s__instance(V__H,s__Human) & s__attribute(V__H,s__Blind) & s__capability(s__Interpreting,s__agent__m,V__H) & s__capability(s__Interpreting,s__patient__m,V__X)))) )
|
Dining.kif 247-256 | |
| ( ! [V__CBO] : (s__instance(V__CBO,s__ContentBearingObject) => (? [V__PROP] : (s__instance(V__PROP,s__Proposition) & s__containsInformation(V__CBO,V__PROP)))) )
|
TravelPolicies.kif 95-100 |
| consequent |
|
|
| ( ! [V__X] : (s__attribute(V__X,s__Braille) => s__instance(V__X,s__ContentBearingObject)) )
|
Dining.kif 241-243 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3893-3903 | |
| ( ! [V__DEVELOP] : (s__instance(V__DEVELOP,s__ContentDevelopment) => (? [V__OBJ] : (s__instance(V__OBJ,s__ContentBearingObject) & s__result(V__DEVELOP,V__OBJ)))) )
|
Merge.kif 12534-12539 | |
| ( ! [V__PROCESS,V__PROP] : (s__realization(V__PROCESS,V__PROP) => (? [V__OBJ] : (s__instance(V__OBJ,s__ContentBearingObject) & s__containsInformation(V__OBJ,V__PROP)))) )
|
Merge.kif 4736-4741 |
|
|
|