consequent

(=>     (and         (instance ?EXPERIMENT Experimenting)         (result ?EXPERIMENT ?RESULT))     (instance ?RESULT Formula))	UXExperimentalTerms.kif 3793-3797	If a process is an instance of experimenting and an entity is a result of the process, then the entity is an instance of formula
(=>     (and         (instance ?INVESTIGATE Investigating)         (patient ?INVESTIGATE ?PROP))     (instance ?PROP Formula))	Merge.kif 13104-13108	If a process is an instance of investigating and an entity is a patient of the process, then the entity is an instance of formula
(=>     (and         (instance ?PROFILE VisitorProfile)         (member ?FORMULA ?PROFILE))     (instance ?FORMULA Formula))	UXExperimentalTerms.kif 1134-1138	If a collection is an instance of visitor profile and a physical is a member of the collection, then the physical is an instance of formula
(=>     (and         (instance ?REL PropositionalAttitude)         (?REL ?AGENT ?FORMULA))     (instance ?FORMULA Formula))	Merge.kif 2738-2742	If an entity is an instance of propositional attitude and the entity another entity and a third entity, then the third entity is an instance of formula
(=>     (and         (instance ?TEXT ?CLASS)         (subclass ?CLASS FictionalText)         (authors ?AGENT ?CLASS))     (exists (?CONTENT)         (and             (subsumesContentInstance ?TEXT ?CONTENT)             (instance ?CONTENT Formula)             (not                 (believes ?AGENT ?CONTENT)))))	Merge.kif 15606-15615	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of fictional text and a cognitive agent is the author of the kind of content bearing object, then there exists a formula such that the content bearing physical subsumes the content of the formula and the formula is an instance of formula and the cognitive agent doesn't believe the formula
(=>     (instance ?CONST Constitution)     (exists (?FORMULA ?PART)         (and             (instance ?FORMULA Formula)             (containsInformation ?FORMULA ?PART)             (instance ?PART Proposition)             (subProposition ?PART ?CONST)             (modalAttribute ?FORMULA Obligation))))	Government.kif 617-625	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of obligation
(=>     (instance ?CONST Constitution)     (exists (?FORMULA ?PART)         (and             (instance ?FORMULA Formula)             (containsInformation ?FORMULA ?PART)             (instance ?PART Proposition)             (subProposition ?PART ?CONST)             (modalAttribute ?FORMULA Permission))))	Government.kif 627-635	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of permission
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?FORMULA ?RESULT)         (and             (instance ?RESULT Formula)             (result ?EXPERIMENT ?RESULT)             (instance ?FORMULA Formula)             (patient ?EXPERIMENT ?FORMULA)             (represents                 (ProbabilityFn ?FORMULA) ?RESULT))))	UXExperimentalTerms.kif 3799-3809	If a process is an instance of experimenting, then there exist a formula and an entity such that the entity is an instance of formula and the entity is a result of the process and the formula is an instance of formula and the formula is a patient of the process and the probability of the formula expresses the entity
(=>     (instance ?P Phishing)     (exists (?FS ?V ?M ?I)         (and             (instance ?M Communication)             (origin ?M ?FS)             (agent ?P ?FS)             (destination ?M ?V)             (instance ?I Formula)             (knows ?V ?I)             (not                 (desires ?V                     (knows ?FS ?I)))             (desires ?FS                 (knows ?FS ?I)))))	ComputingBrands.kif 4230-4244	If a process is an instance of phishing, then there exist a cognitive agent, another cognitive agent,, , another process and a formula such that the other process is an instance of communication and the other process originates at the cognitive agent and the cognitive agent is an agent of the process and the other process ends up at the other cognitive agent and the formula is an instance of formula and the other cognitive agent knows the formula and the other cognitive agent doesn't desire the cognitive agent knows the formula and the cognitive agent desires the cognitive agent knows the formula
(=>     (instance ?PROFILE VisitorProfile)     (exists (?USER ?SITE)         (and             (instance ?USER AutonomousAgent)             (instance ?SITE WebSite)             (forall (?FORMULA)                 (=>                     (and                         (member ?FORMULA ?PROFILE)                         (instance ?FORMULA Formula))                     (visitorParameter ?USER ?FORMULA ?SITE))))))	UXExperimentalTerms.kif 1140-1151	If a collection is an instance of visitor profile, then there exist an agent and a web site such that the agent is an instance of agent and the web site is an instance of web site and for all a formula if the formula is a member of the collection and the formula is an instance of formula, then the formula is known about the agent who visits the web site

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