( ! [V__A,V__I] :
(((s__instance(V__A,s__Album) &
s__instance(V__I,s__Image))
=>
((s__albumCoverImage(V__A,V__I)
=>
(s__represents(V__I,V__A)))))
)
)
|
Music.kif 309-311 |
|
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 664-670 |
|
( ! [V__TELEX,V__M,V__MSG] :
(((s__destination(V__MSG,V__TELEX)
&
s__instance(V__MSG,s__Messaging) &
s__patient(V__MSG,V__M)
&
s__instance(V__TELEX,s__Telex))
=>
(( ? [V__PROC, V__TEXT] :
((s__instance(V__PROC,s__Process) &
(s__instrument(V__PROC,V__TELEX)
&
s__result(V__PROC,V__TEXT)
&
s__represents(V__TEXT,V__M)
&
s__instance(V__TEXT,s__Text) &
s__before(s__BeginFn(s__WhenFn(V__MSG))
,s__BeginFn(s__WhenFn(V__PROC)))))))))
)
)
|
Communications.kif 202-214 |
|
( ! [V__AIR,V__CM,V__STR] :
((s__instance(V__STR,s__SymbolicString) =>
(((s__instance(V__CM,s__AirlineCodeMap) &
s__codeMapping(V__CM,V__STR,V__AIR))
=>
((s__instance(V__AIR,s__Airline) &
s__represents(V__STR,V__AIR))))))
)
)
|
Transportation.kif 3142-3148 |
|
( ! [V__AGENT,V__EXPRESS] :
((s__instance(V__AGENT,s__Agent) =>
(((s__instance(V__EXPRESS,s__Expressing) &
s__agent(V__EXPRESS,V__AGENT))
=>
(( ? [V__STATE] :
((s__instance(V__STATE,s__StateOfMind) &
s__attribute(V__AGENT,V__STATE)
&
s__represents(V__EXPRESS,V__STATE))))))))
)
)
|
Merge.kif 12460-12468 |
|
( ! [V__OBJ,V__NUM,V__PART] :
(((s__instance(V__OBJ,s__DigitalDataStorageDevice) &
s__part(V__PART,V__OBJ)
&
s__instance(V__PART,s__DigitalData))
=>
(( ? [V__SCHEME, V__LIST] :
((s__instance(V__SCHEME,s__CodeMap) &
s__instance(V__LIST,s__List) &
(s__codeMapping(V__SCHEME,V__PART,V__NUM)
&
s__represents(V__LIST,V__SCHEME)
&
(s__inList(V__NUM,V__LIST)
=>
(s__instance(V__NUM,s__BinaryNumber)))))))))
)
)
|
Media.kif 801-812 |
|
( ! [V__OPSUB,V__OP,V__OPLAN] :
((s__instance(V__OPSUB,s__Process) =>
(((s__instance(V__OPLAN,s__OPLAN) &
s__represents(V__OPLAN,V__OP)
&
s__instance(V__OP,s__MilitaryOperation) &
s__subProcess(V__OPSUB,V__OP))
=>
(s__represents(V__OPLAN,V__OPSUB)))))
)
)
|
MilitaryProcesses.kif 1775-1781 |
|
( ! [V__OP,V__PLAN,V__CBO] :
(((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 1554-1561 |
|
( ! [V__CBO,V__COMM,V__PROP] :
(((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 2906-2913 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25381-25407 |
|
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 706-712 |
|
( ! [V__STRING,V__USER,V__ACCOUNT] :
(((s__instance(V__STRING,s__Identifier) &
s__instance(V__USER,s__Agent) &
s__instance(V__ACCOUNT,s__UserAccount))
=>
(((s__userIDString(V__STRING,V__ACCOUNT)
&
s__hasAccount(V__USER,V__ACCOUNT))
=>
(s__represents(V__STRING,V__USER)))))
)
)
|
UXExperimentalTerms.kif 1296-1300 |
|
( ! [V__ROOM] :
((s__instance(V__ROOM,s__Object) =>
((s__attribute(V__ROOM,s__ThemeRoom) =>
(( ? [V__DESIGN, V__PROP] :
((s__instance(V__DESIGN,s__Designing) &
s__result(V__DESIGN,V__PROP)
&
s__represents(V__ROOM,V__PROP))))))))
)
)
|
Hotel.kif 1053-1059 |
|
( ! [V__X] :
((s__instance(V__X,s__Agent) =>
((s__attribute(V__X,s__AeronauticalEngineer) =>
(( ? [V__SKILL] :
((s__instance(V__SKILL,s__Class) &
s__subclass(V__SKILL,s__Process) &
(s__hasSkill(V__SKILL,V__X)
&
( ! [V__P] :
((s__instance(V__P,s__Process) =>
((s__instance(V__P,V__SKILL)
=>
((( ? [V__CONS, V__OBJ, V__PT] :
((s__subclass(V__PT,s__Object) &
s__instance(V__PT,s__Class) &
(s__instance(V__CONS,s__Making) &
(s__instance(V__OBJ,s__Aircraft) |
(s__instance(V__OBJ,V__PT)
&
s__typicalPart(V__PT,s__Aircraft)))
&
s__result(V__CONS,V__OBJ)
&
s__subProcess(V__P,V__CONS)))))
|
( ? [V__DESIGN, V__PLAN, V__OBJ, V__PT] :
((s__subclass(V__PT,s__Object) &
s__instance(V__PT,s__Class) &
(s__instance(V__DESIGN,s__Designing) &
(s__instance(V__OBJ,s__Aircraft) |
(s__instance(V__OBJ,V__PT)
&
s__typicalPart(V__PT,s__Aircraft)))
&
s__result(V__DESIGN,V__PLAN)
&
s__represents(V__PLAN,V__OBJ)
&
s__subProcess(V__P,V__DESIGN))))))))))))))))))))
)
)
|
Biography.kif 203-232 |
|
( ! [V__BRAND,V__ICON] :
(((s__instance(V__BRAND,s__Brand) &
s__instance(V__ICON,s__Icon))
=>
((s__brandIcon(V__BRAND,V__ICON)
=>
(( ? [V__AGENT] :
((s__instance(V__AGENT,s__Agent) &
(s__managedBy(V__BRAND,V__AGENT)
&
s__managedBy(V__ICON,V__AGENT)
&
s__represents(V__ICON,V__BRAND)))))))))
)
)
|
Hotel.kif 1284-1290 |
|
( ! [V__STRING,V__SITE,V__BROWSER] :
(((s__instance(V__STRING,s__Identifier) &
s__instance(V__SITE,s__WebSite) &
s__instance(V__BROWSER,s__WebBrowser) &
s__instance(V__BROWSER,s__Object))
=>
((s__browserID(V__STRING,V__BROWSER,V__SITE)
=>
(( ? [V__WEBPAGE, V__ACCESSING, V__AGENT] :
((s__instance(V__WEBPAGE,s__WebPage) &
s__component(V__WEBPAGE,V__SITE)
&
s__instance(V__ACCESSING,s__AccessingWebPage) &
s__instance(V__AGENT,s__Agent) &
s__agent(V__ACCESSING,V__AGENT)
&
s__instrument(V__ACCESSING,V__BROWSER)
&
s__destination(V__ACCESSING,V__WEBPAGE)
&
s__represents(V__STRING,V__AGENT))))))))
)
)
|
UXExperimentalTerms.kif 921-932 |
|
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 769-779 |
|
( ! [V__STRING,V__USER,V__CAT] :
(((s__instance(V__STRING,s__Identifier) &
s__instance(V__CAT,s__WebListingCategory))
=>
((s__categoryID(V__STRING,V__CAT)
=>
(s__represents(V__STRING,V__USER)))))
)
)
|
UXExperimentalTerms.kif 214-216 |
|
( ! [V__MAP,V__X,V__TOKEN] :
(((s__instance(V__MAP,s__CodeMap) &
s__instance(V__TOKEN,s__SymbolicString))
=>
((s__codeMapping(V__MAP,V__TOKEN,V__X)
=>
(s__represents(V__TOKEN,V__X)))))
)
)
|
Media.kif 2267-2269 |
|
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 1101-1105 |
|
( ! [V__P,V__LA,V__PROP] :
(((s__instance(V__P,s__Physical) &
s__instance(V__LA,s__LegalAction) &
s__instance(V__PROP,s__Proposition))
=>
((s__evidence(V__LA,V__P)
=>
(( ? [V__A] :
((s__instance(V__PROP,s__Proposition) &
s__instance(V__A,s__Argument) &
s__refers(V__A,V__LA)
&
s__represents(V__PROP,V__P)
&
s__premise(V__A,V__PROP))))))))
)
)
|
Law.kif 223-231 |
|
( ! [V__STRING,V__EXP,V__USER] :
(((s__instance(V__STRING,s__Identifier) &
s__instance(V__EXP,s__Experimenting))
=>
((s__experimentID(V__STRING,V__EXP)
=>
(s__represents(V__STRING,V__USER)))))
)
)
|
UXExperimentalTerms.kif 4231-4233 |
|
( ! [V__H] :
((s__instance(V__H,s__Human) =>
((s__hasExpertise(V__H,s__Architecture) =>
(( ? [V__D, V__P, V__B] :
((s__instance(V__D,s__ContentDevelopment) &
s__agent(V__D,V__H)
&
s__result(V__D,V__P)
&
s__instance(V__P,s__Blueprint) &
s__represents(V__P,V__B)
&
s__instance(V__B,s__Building))))))))
)
)
|
Mid-level-ontology.kif 19545-19554 |
|
( ! [V__ACCOUNT] :
((s__instance(V__ACCOUNT,s__HistoricalAccount) =>
(( ? [V__EVENT] :
((s__instance(V__EVENT,s__Physical) &
(s__represents(V__ACCOUNT,V__EVENT)
&
s__earlier(s__WhenFn(V__EVENT)
,s__WhenFn(V__ACCOUNT))))))))
)
)
|
Mid-level-ontology.kif 13441-13446 |
|
( ! [V__ACTION] :
((s__instance(V__ACTION,s__UserDirectAction) =>
(( ? [V__SIG_ACTION] :
((s__represents(V__ACTION,V__SIG_ACTION)
&
s__instance(V__SIG_ACTION,s__UserSignifiedAction))))))
)
)
|
ComputerInput.kif 1238-1243 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
