TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage crosses "crosses")	domainEnglishFormat.kif 17874-17874
(termFormat ChineseTraditionalLanguage crosses "十字架")	domainEnglishFormat.kif 17875-17875
(termFormat ChineseLanguage crosses "十字架")	domainEnglishFormat.kif 17876-17876
(format EnglishLanguage crosses "%1 %n{doesn't} crosse%p{s} %2")	english_format.kif 206-206

consequent

(=> (traverses ?OBJ1 ?OBJ2) (or (crosses ?OBJ1 ?OBJ2) (penetrates ?OBJ1 ?OBJ2)))	Merge.kif 4301-4305	If X traverses Y, then X crosses Y or X penetrates Y
(=> (instance ?C Chain) (exists (?CL1 ?CL2 ?CL3) (and (instance ?CL1 ChainLink) (instance ?CL2 ChainLink) (instance ?CL3 ChainLink) (not (equal ?CL1 ?CL2)) (not (equal ?CL2 ?CL3)) (not (equal ?CL3 ?CL1)) (crosses ?CL1 ?CL2) (crosses ?CL2 ?CL3) (not (crosses ?CL1 ?CL3)))))	Cars.kif 4298-4314	If X is an instance of chain, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chain link (3) Z is an instance of chain link (4) W is an instance of chain link (5) equal Y (6) Z (7) equal Z (8) W (9) equal W (10) Y (11) Y crosses Z (12) Z crosses W (13) Y doesn't crosse W