TreeView Knowledge Base Browser

appearance as argument number 1

(instance precondition BinaryPredicate)	Merge.kif 4404-4404	precondition is an instance of binary predicate
(instance precondition AsymmetricRelation)	Merge.kif 4405-4405	precondition is an instance of asymmetric relation
(instance precondition TransitiveRelation)	Merge.kif 4406-4406	precondition is an instance of transitive relation
(domainSubclass precondition 1 Process)	Merge.kif 4407-4407	The number 1 argument of precondition is a subclass of process
(domainSubclass precondition 2 Process)	Merge.kif 4408-4408	The number 2 argument of precondition is a subclass of process
(documentation precondition EnglishLanguage "A very general Predicate. (precondition ?PROC1 ?PROC2) means that an instance of ?PROC2 can exist only if an instance of ?PROC1 also exists.")	Merge.kif 4410-4412	The number 2 argument of precondition is a subclass of process

appearance as argument number 2

(termFormat EnglishLanguage precondition "precondition")	domainEnglishFormat.kif 47143-47143
(termFormat ChineseTraditionalLanguage precondition "前提")	domainEnglishFormat.kif 47144-47144
(termFormat ChineseLanguage precondition "前提")	domainEnglishFormat.kif 47145-47145
(format EnglishLanguage precondition "%1 is%n{n't} a precondition of %2")	english_format.kif 220-220

antecedent

(=>
    (precondition ?PROC1 ?PROC2)
    (=>
        (exists (?INST2)
            (instance ?INST2 ?PROC2))
        (exists (?INST1)
            (instance ?INST1 ?PROC1))))

Merge.kif 4414-4418

Assuming X is a precondition of Y, it follows that: if there exists Z such that Z is an instance of Y, then there exists W such that W is an instance of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)